An effective FMS deadlock prevention policy based on elementary siphons

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2004, Issue 3, 2004, Pages 3143-3148

  Li, Zhiwu ^a   Zhou, Mengchu ^b  

^a XIDIAN UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Deadlock prevention; Elementary siphons; Petri nets; Siphons

Indexed keywords

ALGORITHMS; PETRI NETS; ROBOTS; SET THEORY; SIPHONS; STRUCTURAL ANALYSIS;

DEADLOCK PREVENTION; ELEMENTARY SIPHONS; PETRI NET SUPERVISORS;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 3042578522     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. T. Murata, "Petri nets: properties, analysis, and applications," Proc. IEEE, vol.77, no.4, pp.541-580, April 1989.
2. T. K. Kumaran, W. Chang, and H. Chao, "A structural approach for deadlock detection, avoidance, and resolution in flexible manufacturing systems," Int. J. Prod. Res., vol.32, no.10, pp.2361-2379, 1994.
3. R. A. Wysk, N. S. Yang, and S. Joshi, "Detection of deadlocks in flexible manufacturing systems," IEEE Trans. Robot. Automat., vol.7, no.6, pp.853-859, Dec. 1991.
4. N. Viswanadham, Y. Narahari, and T. Johnson, "Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models," IEEE Trans. Robot. Automat., vol.6, no.6, pp.713-723, 1990.
5. Z. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robot. Automat., vol.6, no.6, pp. 720-734, 1990.
6. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Automat. Contr., vol.46, no.10, pp. 1572-1583, 2001.
7. I. B. Abdallah and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: a Petri net based approach," Int. J. Adv. Manuf. Tech., vol.14, no.4, pp.704-715, 1998.
8. J. Ezpeleta, F. Tricas, F. Garcia-Valles, and J. Colom, "A banker's solution for deadlock avoidance in FMS with flexible routing and multi-resource states," IEEE Trans. Robot. Automat., vol.18, no.4, pp. 621-625, 2002.
9. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for non-sequential resource allocation systems," IEEE Trans. Syst., Man, and Cybern., Part A: Systems and Humans, vol.34, no.1, pp.93-101, Jan. 2004.
10. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Syst., Man, and Cybern., Vancouver, BC, Canada, pp.4119-4124, 1995.
11. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Automat., vol.11, no.2, pp.173-184, 1995.
12. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Automat., vol.18, no.1, pp.59-68, 2002.
13. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. G. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., vol.39, no.3, pp.283-305, 2001.
14. th Workshop on Discrete Event Systems, R. Boel and G.Stremersch Eds., Kluwer Academic Publishers, Ghent, Belgium, 21-23 August 2000, pp. 139-148.
15. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets," in Proc. IEEE Int. Conf. Syst., Man, and Cybern., vol.4, Orlando, FL, October, pp.3750-3755, 1997.
16. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, and Cybern., Part A: Systems and Humans, vol.34, no.1, pp.38-51, 2004.
17. J. Ezpeleta, J. M. Couvreur, and M. Silva, "A new technique for finding a generating family of siphons, traps, and st-components: application to colored Petri nets," in Advances in Petri Nets 1993, Lecture Notes in Computer Science, vol.674, G. Rozenberg, Eds., New York: Springer-Verlag, 1993, pp.126-147.
18. Z. W. Li and M. C. Zhou, "Elementary and redundant siphons in Petri nets," submitted to the Application and Theory of Petri Nets, 2004.
19. A. Schrijver, Theory of Linear and Integer Programming, New York: John Wiley & Sons, 1998, pp.259.
20. A. A. Desrochers and R.Y. Al-Jaar. Applications of Petri Nets in Manufacturing Systems: Modeling, Control, and Performance Analysis. Piscataway, NJ: IEEE Press, 1995, pp.125.