Material flow and control sequence specification of flexible production systems using coloured Petri nets

摘要

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 controlstructure 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 thedevelopment and maintainability of the discrete-event control structures. The final result is a formal specification of coloured Petri net hosed coordination control of resources of the system, and logic control structures for control sequencing based onthe use of synchronised subPetri net structures derived from the first one by refining transitions, i.e., their occurrence. 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 controlsequence specifications is validated by means of the structural analysis of the coloured Petri net-based models.