Modelling of AS/RS using hierarchical and timed coloured Petri nets

Presently discrete-event dynamic systems represent a significant group of varied systems e.g. computer networks, manufacturing systems, communication systems, database systems etc. An important class of discrete-event systems are automated storage and retrieval systems (AS/RS). These systems are equipped by robots and other automation technology. The article deals with Hierarchical Coloured Petri nets applied in modelling of these systems. Main results of the article include brief description of the method and hierarchical model of storage system implemented by Hierarchical and Timed Coloured Petri net in CPN Tools software. We also discuss the possible application of the model and modelling method in practice.