Automatic synthesis of colored Petri nets for the control of FMS

In this paper we research a modeling methodology, applicable to a large class of flexible manufacturing systems (FMS), that takes advantage of the differentiation between the FMS layout and the set of process plans corresponding to the different types of parts to be processed, We propose a separate modeling of these two components. In a second step, both models are integrated automatically in a unique model, represented as a colored Petri net (CPN). The second aim of the paper is the application of a deadlock prevention control policy ensuring that the processing of each part can be completed