AUTOMATIC SYNTHESIS OF COLORED PETRI NETS FOR THE CONTROL OF FMS

In this paper we research a modeling methodology, applicable to a larg e class of flexible manufacturing systems (FMS), that takes advantage of the differentiation between the FMS layout and the set of process p lans 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, represen ted as a colored Petri net (CPN), The second aim of the paper is the a pplication of a deadlock prevention control policy ensuring that the p rocessing of each part can be completed.