Viswanadham, N and Narahari, Y and Johnson, Timothy L (1990) Deadlock Prevention and Deadlock Avoidance in Flexible Manufacturing Systems using Petri Net Models. In: IEEE Transactions on Robotics and Automation, 6 (6). pp. 713-723.
Deadlocks constitute an important issue to be addressed in the design and operation of flexible manufacturing systems (FMSs). In this paper, we show that prevention and avoidance of FMS deadlocks can be implemented using Petri net models. For deadlock prevention, we use the reachability graph of a Petri net model of the given FMS, whereas for deadlock avoidance, we propose a Petri-net-based online controller. We discussing the modeling of the General Electric FMS at Erie, PA. For such real-world systems, deadlock prevention using the reachability graph is not feasible. We develop a generic, Petri-net-based online controller for implementing deadlock avoidance in such real-world FMSs.
|Item Type:||Journal Article|
|Additional Information:||Â©1990 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.|
|Keywords:||flexible manufacturing system (FMS);General Electric FMS;deadlock prevention;deadlock avoidance;Petri Net models|
|Department/Centre:||Division of Electrical Sciences > Computer Science & Automation (Formerly, School of Automation)|
|Date Deposited:||18 Oct 2005|
|Last Modified:||19 Sep 2010 04:20|
Actions (login required)