DocumentCode :
2396073
Title :
Liveness-Enforcing Supervisors for Flexible Manufacturing Systems with Multiple Resource Acquisitions
Author :
Li, ZhiWu ; Wang, Anrong ; Wei, Na
Author_Institution :
Sch. of Electro-Mech. Eng., Xidian Univ., Xi´´an
fYear :
0
fDate :
0-0 0
Firstpage :
710
Lastpage :
714
Abstract :
This paper develops an approach for the deadlock prevention problems in flexible manufacturing systems (FMS) based on siphons of Petri nets. The analysis of S4PR, a subclass of Petri nets, leads us to characterize deadlock situations in terms of insufficiently marked siphons. A method is proposed to make elementary siphons max-controlled by the additional control places. When the liveness of the augmented S4PR net is not guaranteed, we modify the initial markings of the control places. Thus, the controlled net system (supervisor) can be enforced to be live by exploiting its structure analysis. Finally, an FMS example is used to illustrate the proposed techniques
Keywords :
Petri nets; flexible manufacturing systems; production control; FMS; Petri net siphons; S4PR; controlled net system; deadlock prevention problems; flexible manufacturing systems; liveness-enforcing supervisors; multiple resource acquisitions; structure analysis; Automatic control; Control systems; Controllability; Flexible manufacturing systems; Machine tools; Material storage; Petri nets; Resource management; Storage automation; System recovery;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Networking, Sensing and Control, 2006. ICNSC '06. Proceedings of the 2006 IEEE International Conference on
Conference_Location :
Ft. Lauderdale, FL
Print_ISBN :
1-4244-0065-1
Type :
conf
DOI :
10.1109/ICNSC.2006.1673233
Filename :
1673233
Link To Document :
بازگشت