A step-wise specification of a manufacturing system using Petri nets

A natural way to proceed with the modeling and specification of large manufacturing systems is to decompose the model of the entire system into subsystems (referred to as modules). The authors present the properties that a module should have in order to be able to be integrated into a global model with the same properties. They propose to make the modules decision-free using extended event graphs. The module integration is performed by an upper-level system, called the control system, which synchronizes the module models in an adequate manner. A small illustrative example is included.<>