Viswanadham, N. ; Narahari, Y. ; Johnson, T. L. (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models IEEE Transactions on Robotics and Automation, 6 (6). pp. 713-723. ISSN 1042-296X
Full text not available from this repository.
Official URL: http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnum...
Related URL: http://dx.doi.org/10.1109/70.63257
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
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Institute of Electrical and Electronic Engineers. |
| Keywords: | Flexible Manufacturing System (FMS); General Electric FMS; Deadlock Prevention; Deadlock Avoidance; Petri Net Models |
| ID Code: | 97789 |
| Deposited On: | 08 Nov 2013 11:29 |
| Last Modified: | 08 Nov 2013 11:29 |
Repository Staff Only: item control page
