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 & Automation Magazine, 6 (6). pp. 713-723. ISSN 1042-296X
![[img]](https://repository.ias.ac.in/style/images/fileicons/application_pdf.png)
|
PDF
- Publisher Version
456kB |
Official URL: http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arn...
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: | 30374 |
| Deposited On: | 22 Dec 2010 10:23 |
| Last Modified: | 17 May 2016 13:02 |
Repository Staff Only: item control page
