Synthesis of live high level models for a class of FMS

In this paper we propose a modeling methodology allowing the synthesis of live colored Petri net (CPN) models for a class of flexible manufacturing systems (FMS). The inputs of the method are the model of the system architecture and the models of the working plans corresponding to the different types of parts to be processed in the architecture. In a first step, a colored model of the dynamic system behavior is obtained. In a second step, some constraints are added to the previous model in order to ensure a live system behavior. One of the advantages of the method is that the final model can be obtained in an automatic way from the inputs