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
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;
Conference_Titel :
Robotics and Automation, 1996. Proceedings., 1996 IEEE International Conference on
Conference_Location :
Minneapolis, MN
Print_ISBN :
0-7803-2988-0
DOI :
10.1109/ROBOT.1996.503595
