DocumentCode
3426515
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
Volume
2
fYear
1999
fDate
1999
Firstpage
1099
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ETFA.1999.813112
Filename
813112
Link To Document