Petri net approaches to deadlock modeling and resolution in automated manufacturing

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 3, Issue , 2002, Pages 142-147

  Fanti, Maria Pia ^a   Zhou, MengChu ^b  

^a POLITECNICO DI BARI   (Italy)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Automated Manufacturing Systems (AMS); Deadlock resolution; Petri nets (PN)

Indexed keywords

AUTOMATION; COMPETITION; COMPUTER SYSTEM RECOVERY; MANUFACTURE; PRODUCTIVITY;

AUTOMATED MANUFACTURING SYSTEMS (AMS);

PETRI NETS;

EID: 0038007905     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. I. B. Abdallah and A. Elmaraghy "Deadlock Prevention and Avoidance in FMS: A petri Net based Approach" Int. J. Advanced Manufacturing Technology, vol. 14, n. 10, 704-715, 1998.
2. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. on Robotics and Aut., 6, n. 6, pp. 724-734, 1990.
3. C.G. Cassandras and S: Lafortune, "Introduction to Discrete Event Systems" Kluwer Academic Publisher, U.S. 1999.
4. F. Chu and X. Xie "Deadlock Analysis of Petri Nets Using Siphons and Mathematical Programming" IEEE Trans. On Robotics and Automation, vol 13, no. 6, December 1997.
5. E.G. Coffman, M. J. Elphick and A. Shoshani, "System deadlocks," ACM Computing Surveys, vol. 3, 1971, pp. 67-78.
6. A. A. Desrochers, R.Y. Al-Jaar "Applications of Petri nets in manufacturing systems" IEEE Press. New York 1995.
7. J. Ezpeleta, J. M. Colom, and J. Martinez, A Petri net based deadlock prevention policy for flexible manufacturing system, IEEE Transactions on Robotics and Automation, vol. 11, no. 2, 173-184, 1995.
8. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Robotics Automat., Vol. 13, pp. 347-363, 1997
9. M. P. Fanti, B. Maione, and T. Turchiano, "Comparing digraph and Petri net approaches to deadlock avoidance in FMS modeling and performance analysis," IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 30, no. 5, pp. 783-798, 2000.
10. Gurel; S. Bogdan, F.L. Lewis, "Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines," IEEE Transactions on Automatic Control, Vol. 45 no. 11, pp. 2086-2090, Nov. 2000.
11. F. Hsieh and S. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. on Robotics and Automation, vol. 10, no. 2, 196-209, 1994.
12. Y. Huang, M. Jeng, X. Xie, S. Chung, "Deadlock prevention policy based on Petri nets and siphons", Int. J. Prod. Res., vol. 39, n. 2, 283-305.
13. M. A. Lawley, S. A. Reveliotis, and P. M. Ferreira, "A correct and scalable deadlock avoidance policy for flexible manufacturing systems," IEEE Transactions on Robotics and Automation, vol. 14, no. 5, 796-809, 1998.
14. F.L. Lewis, A. Gürel, S. Bogdan, A. Doganalp, and O.C. Pastravanu, "Analysis of Deadlock and Circular Waits Using Matrix Model for Flexible Manufacturing Systems," Automatica, vol.34, no.9, pp. 1083-1100, 1998
15. T. Murata "Petri nets: properties, analysis and applications," Proc. IEEE, Vol. 77, Apr. 1989.
16. Y. Narahari, N. Viswanadham, "A Petri net approach to the modelling and analysis of flexible manufacturing systems," Annals of Operations Research, vol. 3, no. 6, pp. 449-472, 1985.
17. J. Park and S. A. Reveliotis "Deadlock avoidance in sequential resource allocation system with multiple resource acquisitions and flexible routings," IEEE Transactions on Automatic Control, vol. 46, no. 10, 1572-1583, 2001.
18. S.A. Reveliotis, M.A. Lawely, and P.M. Ferreira, "Polynomial-Complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems," IEEE Trans. on Automatic Control, vol.42, no.10, pp. 1344-1357, 1997.
19. S. A. Reveliotis, "Accommodating FMS operational contingencies through routing flexibility," IEEE Transactions on Robotics and Automation, vol. 15, no. 1, 328-339, 1999.
20. E. Roszkowska "Deadlock avoidance in concurrent compound pipeline processes" Archiwum Informatyki Teoretycznej I Stosowanej, vol. 2, pp. 227-242, 1990.
21. H. H. Xiong and M. C. Zhou, "A Petri net method for deadlock-free scheduling of flexible manufacturing systems," International Journal of Intelligent Control and Systems, 3(3), pp. 277-295, September 1999.
22. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. on Robotics and Automation, vol. 6, no. 6, pp. 713-723, 1990.
23. N. Q. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. on Systems, Man, and Cybernetics, Part C, vol. 29, no. 2, pp. 192-204, 1999.
24. N. Q. Wu and M.C. Zhou, "Avoiding Deadlock and Reducing Starvation and Blocking in Automated Manufacturing Systems," IEEE Transactions on Robotics and Automation, vol. 17, no. 5, pp. 658-669, 2001.
25. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. on Automatic Control, 41(2), 289-295, 1996.
26. M.C. Zhou, and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling of manufacturing systems with shared resources," IEEE Transactions on Robotics and Automation, vol. 7, pp. 515-527, 1991.
27. M.C. Zhou, F. DiCesare, and A. A. Desrochers, "A Hybrid Methodology for Synthesis of Petri Nets for Manufacturing Systems," IEEE Transactions on Robotics and Automation, vol. 8, no. 3, pp. 350-361, 1992.