DocumentCode
1842282
Title
Deadlock avoidance controller for a class of manufacturing systems
Author
Xing, Ke Yi ; Xing, Ke Li ; Li, Jun Ming ; Hu, Bao Sheng
Author_Institution
Dept. of Appl. Math., Xidian Univ., Xi´´an, China
Volume
1
fYear
1996
fDate
22-28 Apr 1996
Firstpage
200
Abstract
A Petri net model for a class of manufacturing systems is presented. The authors address the problem of deadlock avoidance by introducing a Petri net controller and prove a necessary and sufficient liveness condition on a Petri net model. The authors then present their deadlock avoidance controller and prove that the controlled system with their controller is live. The proposed controller can be realized by a Petri net and the final model of the controlled system is a live Petri net
Keywords
Petri nets; control system synthesis; flexible manufacturing systems; Petri net controller; Petri net model; deadlock avoidance controller; live Petri net; manufacturing systems; necessary and sufficient liveness condition; Control system synthesis; Control systems; Flexible manufacturing systems; Manufacturing systems; Mathematical model; Mathematics; Mechanical engineering; Petri nets; System recovery; Systems engineering and theory;
fLanguage
English
Publisher
ieee
Conference_Titel
Robotics and Automation, 1996. Proceedings., 1996 IEEE International Conference on
Conference_Location
Minneapolis, MN
ISSN
1050-4729
Print_ISBN
0-7803-2988-0
Type
conf
DOI
10.1109/ROBOT.1996.503595
Filename
503595
Link To Document