Robustness of deadlock avoidance algorithms for sequential processes

Automatica

Volumn 39, Issue 10, 2003, Pages 1695-1706

  Hsieh, Fu Shiung ^a  

^a OVERSEAS CHINESE INSTITUTE OF TECHNOLOGY   (Taiwan)

Author keywords

Algorithms; Deadlock; Flexible manufacturing systems; Robustness

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEM RECOVERY; FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS;

SEQUENTIAL PROCESSES;

ROBUSTNESS (CONTROL SYSTEMS);

EID: 0042513803     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(03)00176-6     Document Type: Article

References (22)

1. Banaszak Z., Krogh B. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation. 6:1990;724-734.
2. Cho H., Kumaran T.K., Wysk R.A. Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11:1995;413-421.
3. Ezpeleta J., Colom J.M., Martinez A Petri Net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11:1995;173-184.
4. Fanti M.P., Maione B., Mascolo S., Turchiano B. Event based feedback control for deadlock avoidance in flexible production systems. IEEE Transactions on Robotics and Automation. 13:1997;347-363.
5. Fanti M.P., Maione B., Mascolo S., Turchiano B. Comparing digraph and Petri Net approaches to deadlock avoidance in FMS. IEEE Transactions on Robotics and Automation. 30:2000;783-798.
6. Hsieh, F. S. (2000). Reconfigurable fault tolerant deadlock avoidance controller synthesis for assembly processes. Proceedings of the 2000 IEEE international conference on systems, man, and cybernetics (pp. 3045-3050). October 8-11, 2000.
7. Hsieh F.S., Chang S.C. Dispatching driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 10:1994;196-209.
8. Jeng M.D. Petri Nets for modeling automated manufacturing systems with error recovery. IEEE Transactions on Robotics and Automation. 13(5):1997;752-760.
9. Jeng M.D., DiCesare F. A review of synthesis techniques for Petri nets with applications to automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics. 23(1):1993;301-312.
10. Lawley M.A. Deadlock avoidance for production systems with flexible routing. IEEE Transactions on Robotics and Automation. 15:1998;497-509.
11. Lawley M.A., Spyros A., Reveliotis, Placid M.F. A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 14:1998;796-809.
12. Lawley M.A., Sulistyono W. Robust supervisory control policies for manufacturing systems with unreliable resources. IEEE Transactions on Robotics and Automation. 18:2002;346-359.
13. Murata, T. (1989). Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, Vol. 77, (4).
14. Narahari Y., Viswanadham N. A Petri net approach to the modeling and analysis of flexible manufacturing systems. Annals of Operational Research. 3:1985;449-472.
15. Reveliotis S.A. Accommodating FMS operational contingencies through routing flexibility. IEEE Transactions on Robotics and Automation. 15:1999;3-19.
16. Reveliotis S.A., Lawley M.A., Ferreira P.M. Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control. 42:1997;1344-1357.
17. Viswanadham N., Narahari Y., Johnson T.L. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation. 6:1990;713-723.
18. Wu N.Q. Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model. IEEE Transactions on Systems, Man, and Cybernetics, Part C Applications and Reviews. 29(2):1999;192-204.
19. Wysk R.A., Yang N.S., Joshi Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation. 7:1991;853-859.
20. Zhou M.C., DiCesare F. Adaptive design of Petri net controllers for error recovery in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics. 19(5):1989;963-973.
21. Zhou M.C., DiCesare F. Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation. 7(4):1991;515-527.
22. Zhou M.C., DiCesare F., Desrochers A.A. A hybrid methodology for synthesis of Petri net models for manufacturing systems. IEEE Transactions on Robotics and Automation. 8(3):1992;350-361.