Title :
Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models
Author :
Viswanadham, N. ; Narahari, Y. ; Johnson, Timothy L.
Author_Institution :
Dept. of Comput. & Autom., Indian Inst. of Sci., Bangalore, India
fDate :
12/1/1990 12:00:00 AM
Abstract :
Deadlocks constitute an important issue to be addressed in the design and operation of FMSs. It is shown that prevention and avoidance of FMS deadlocks can be implemented using Petri net models. For deadlock prevention, the reachability graph of a Petri net model of the given FMS is used, whereas for deadlock avoidance, a Petri-net-based online controller is proposed. The modeling of the General Electric FMS at Erie, PA, is discussed. For such real-world systems, deadlock prevention using the reachability graph is not feasible. A generic, Petri-net-based online controller for implementing deadlock avoidance in such real-world FMSs is developed
Keywords :
Petri nets; flexible manufacturing systems; production control; General Electric FMS; Petri net models; deadlock avoidance; deadlock prevention; flexible manufacturing systems; reachability graph; Computer numerical control; Control systems; Flexible manufacturing systems; Manufacturing systems; Monitoring; Production systems; Resource management; Robotics and automation; System recovery; Vehicle dynamics;
Journal_Title :
Robotics and Automation, IEEE Transactions on
