Modelling and control of AS/RS using 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). There is a big demand for new modelling and control methods of these systems in automotive industry in Slovakia. These systems are equipped by robots and other automation technology. The paper deals with Coloured Petri nets applied in modelling and control of these systems. Main results of the paper include brief description of the method and model of storage system implemented by Coloured Petri nets in PNetLab software tool. We also discuss the possible application of the model and modelling method in practice and for system control purposes.