In: IEEE Transactions on Robotics and Automation, Vol. 6, No. 6, pages 713-723. 1990.
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. For large 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: deadlock prevention (and) deadlock avoidance (in) flexible manufacturing systems (using nets); reachability graph; (generic) net-based online controller.