In: Actas de las III Jornadas de Concurrencia, Universidad Politécnica de Valencia, pages 199-230. 1993.
Also in: IEEE Trans. on Robotics and Automation, Vol. 11, No. 2, pages 173-184. 1995.
Abstract: In this paper we illustrate a compositional method for modeling the concurrent execution of working processes in flexible manufacturing systems (FMS) through a special class of Petri Nets that we call S³PR. In essence, this class is built from state machines sharing a set of places modeling the availability of system resources. The analysis of S³PR leads us to characterize deadlock situations in terms of a zero marking for some structural objects called siphons. In order to prevent the system from deadlocks, we propose a policy for resource allocation based on the addition of new places to the net imposing restrictions that prevent the presence of unmarked siphons (direct cause of deadlocks). Finally, we present the application of this technique to a realistic FMS case.
Keywords: Petri nets, deadlock prevention methods, flexible manufacturing systems, sequential processes, siphons, structural properties.
Back to the Petri Nets Bibliography