In: International Journal of Advanced Manufacturing Technology, Vol. 14, No. 10: Special Issue on Petri Nets Applications in Advanced Manufacturing Systems, pages 760-774. Springer-Verlag, 1998.
Abstract: Starting with the specification of each resource and the whole structure of a flexible production system, in this approach a special kind of coloured Petri nets is used for performing the modelling and the validation of the coordination control structure of the systems. In a second phase, it is proposed to modify the first models to synchronised Petri net schemas to facilitate the supervision and the interaction of the coordination model with the physical components of the system as well as the development and maintainability of the discrete-even control structures. The final result is a formal specification of coloured Petri net based coordination control of resources of the system, and logic control structures for control sequencing based on the use of synchronised sub-Petri net structures derived from the first one by refining transitions, i.e., their occurrence modes. Based on the proposed approach, the coordination control model of resources and a first skeleton of the logic control structures of a flexible assembly cell located at the Institute of Manufacturing Automation and Production Systems at the University of Erlangen-Nuremberg, Germany is elaborated and then the correctness of the obtained models with regard to material flow and control sequence specifications is validated by means of the structural analysis of the coloured Petri net based models.
Keywords: Coloured Petri Nets, Discrete-event Control Systems, Flexible Production Systems, Modelling, Validation.