In: IEEE Transactions on Robotics and Automation, Vol. 13, No. 3, pages 327-337. June 1997.
Abstract: 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.
Keywords: Deadlock prevention strategies; flexible manufacturing systems; model synthesis; Petri net models.