A petri net based modelling technology for manufacturing system engineering

Among the methods applied to manufacturing system engineering the Petri net approach seems to be a very promising one. Petri nets allow one to model many structural and behavioural features typical for manufacturing systems. Using Petri net models it is possible to encompass the hierarchical structure of manufacturing system organization, different material and data flows, concurrency and asynchronicity of process execution, buffer sizes, production routes, transport assembly and machining operation times, and so on. The main goal of this paper is to develop the technology based on Petri net theory for manufacturing system engineering.