Design and implementation methodology based on Petri net formalism of flexible manufacturing systems control

This paper presents an aided design methodology of flexible manufacturing system control with a view to industrial implementation. The approach considered through a modelling phase, the a validation phase by simulation and finally a distributed implementation phase. In the modelling phase, based on the Petri net formalism, we demonstrate the hierarchical aspect which separates the part flow control and the product resource control. In addition, we emphasize generic aspects which allow us to use an object-oriented approach. These aspects and the set of modelled objects are directly used in the simulation and production phases after an automatic translation in an implementation language (ADA in our case). In consequence, the distributed location for those two phases is well facilitated from the viewpoint of the approach used.