Title :
A Petri net solution to the problem of deadlocks in systems of processes with resources
Author :
Tricas, Fernando ; Ezpeleta, Joaquin
Author_Institution :
Dept. de Inf. e Ingenieria de Sistemas, Zaragoza Univ., Spain
Abstract :
In this paper we introduce a new control policy for a class of nets that appear in the modeling of flexible manufacturing systems. Both the model of the system and its control are established by using Petri nets. The aim of the imposed control as to ensure that no deadlock problem can occur in the controlled system: a deadlock implies that the processing of some parts, once started, cannot be finished. This is a bad property for automated production systems. In the paper we use the structure of the Petri net model in order to characterize and solve the deadlock situations. We also present an experimental comparison between the proposed control policy and others that solve the same problem
Keywords :
Petri nets; flexible manufacturing systems; Petri nets; automated production systems; control policy; deadlocks; flexible manufacturing systems; modeling; process systems; resources; Automatic control; Buffer storage; Control system synthesis; Control systems; Electronic mail; Flexible manufacturing systems; Material storage; Petri nets; Production systems; System recovery;
Conference_Titel :
Emerging Technologies and Factory Automation, 1999. Proceedings. ETFA '99. 1999 7th IEEE International Conference on
Conference_Location :
Barcelona
Print_ISBN :
0-7803-5670-5
DOI :
10.1109/ETFA.1999.813106
