Title :
Deadlock avoidance policies applied to flexible manufacturing systems modelled by colored Petri nets
Author :
Fanti, M.P. ; Turchiano, B.
Author_Institution :
Dipt. di Elettrotecnica ed Elettronica, Politecnico di Bari, Italy
Abstract :
The high degree of resource sharing in flexible manufacturing systems can lead to deadlock situations. We model the concurrent execution of working processes through colored Petri nets and we implement some effective deadlock avoidance policies in the same framework. Control places impose restrictions on the transition firing on the basis of the current marking and a look-ahead procedure of only one step
Keywords :
Petri nets; flexible manufacturing systems; graph colouring; production control; resource allocation; colored Petri nets; concurrent execution; control places; deadlock avoidance policies; look-ahead procedure; marking; resource sharing; transition firing; working processes; Automatic control; Computer aided manufacturing; Flexible manufacturing systems; Hardware; Manufacturing systems; Petri nets; Production systems; Resource management; Routing; 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.813112
