In: SMC'93), Le Touquet, France: Procs of the International Conference on Systems, Man and Cybernetics (IEEE, pages 589-594. IEEE Computer Society Press, 1993.
Abstract: 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 behaviour is obtained. In a second step, some constraints are added to the previous model in order to ensure a live system behaviour. One of the advantages of the method is that the final model can be obtained in an automatic way from the inputs.
Keywords: colored Petri nets, flexible manufacturing systems, model synthesis.