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 High-level Petri nets applied in modelling of these systems. Main results of the paper include brief description of the method and model of storage system implemented by Coloured Petri nets expressed by different formalisms in two software tools. We also discuss the possible application of the model and modelling method in practice and for system control purposes.