An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 5, Issue , 2004, Pages 4849-4854

  Li, ZhiWu ^a   Hu, HeSuan ^a   Zhou, MengChu ^b  

^a XIDIAN UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Deadlock prevention; Elementary siphons; FMS; Petri nets

Indexed keywords

DEADLOCK PREVENTION; ELEMENTARY SIPHONS; FMS; NET SYSTEM;

COMPUTER SIMULATION; COMPUTER SYSTEM RECOVERY; LEARNING ALGORITHMS; POLYNOMIALS; PROBLEM SOLVING; SIPHONS; THEOREM PROVING;

PETRI NETS;

EID: 15744399831     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1401299     Document Type: Conference Paper

References (15)

1. Z. W. Li and M.C. Zhou, "Elementary siphons of Petri net and their application to deadlock prevention for flexible manufacturing systems" IEEE Trans. Syst., Man, Cybern., vol.34, no.1, pp.38-51, 2004.
2. 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, pp.173-184, 1995.
3. T. Murata, "Petri nets: properties, analysis, and applications," Proc. IEEE, vol.77, pp.541-580, 1989.
4. X. L. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Automat., vol. 15, pp. 692-703, 1999.
5. M. D. Jeng and X. L. Xie, "Analysis modularly composed nets by siphons," IEEE Trans. Syst., Man and Cybern., Part A, vol. 29, pp. 399-406, 1999.
6. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Robot. Automat., vol. 13, pp.793-804, Dec. 1997.
7. Y. Huang, M. Jeng, X. Xie, and S. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, 2001.
8. Y. S. Huang, M. D. Jeng, et al. "A deadlock prevention policy for flexible manufacturing systems using siphons," in Proc. IEEE Int. Conf. Robot. Automat., Seoul, Korea, 2001, pp.541-546.
9. M. C. Zhou and M. P. Fanti (Eds.), Deadlock Resolution in Computer-Integrated Systems, New York: Marcel Dekker, 2004.
10. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri Nets for effective deadlock control," in Deadlock Resolution in Computer-Integrated Systems, M. C. Zhou and M. P. Fanti Eds., pp.309-348, New York: Marcel Dekker, 2004.
11. M.V. Iordache and P. J. Antsaklis, "Synthesis of supervisors enforcing general linear constraints in Petri nets," IEEE Trans. Automat. Contr., vol.48, pp. 2036-2039, Nov. 2003.
12. M.V. lordache and P.J. Antsaklis, "Design of T-liveness enforcing supervisors in Petri nets," IEEE Trans. Automat. Contr., vol. 48, pp.1962-1974, Nov. 2003.
13. K. Barkaoui and I.B. Abdallah, "An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets," in Proc. IEEE Int. Conf. Syst., Man, Cybern., San Antonio, Texas, U.S.A, 1994, pp.525-530.
14. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Vancouver BC, Canada, 1995, pp.4119-4124.
15. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta, "A structural approach to the problem of deadlock prevention in processes with resources," in Proc. Int. Workshop on Discrete Event Systems, IEE Control Press: Manchester, 1998.