An incremental approach to extracting minimal bad siphons

Journal of Information Science and Engineering

Volumn 23, Issue 1, 2007, Pages 203-214

  Chao, Daniel Yuh ^a  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

Algorithm; Deadlock; FMS; Liveness; Petri nets; Siphons; Traps

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; LINEAR SYSTEMS; PETRI NETS;

DEADLOCK CONTROL;

SIPHONS;

EID: 33846659736     PISSN: 10162364     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (20)

1. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Transactions on Robotics and Automation, Vol. 11, 1995, pp. 173-184.
2. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," Voss, Genrich, and Rozemberg, eds., Concurrency and Nets, Springer Verlag, Berlin, 1987, pp. 315-336.
3. M. Yamauchi and T. Watanabe, "Time complexity analysis of the minimal siphon extraction problem of Petri nets," IEICE Transactions on Fundamentals, Vol. E82-A, 1999, pp. 2558-2565.
4. E. R. Boer and T. Murata, "Generating basis siphons and traps of Petri nets using the sign incidence matrix," IEEE Transactions on Circuits and Systems, I - Fundamental Theory and Applications, Vol. 41, 1994, pp. 266-271.
5. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Transactions on Automatic Control, Vol. 46, 2001, pp. 1572-1583.
6. Y. Huang, "Modeling, analysis, deadlock prevention and cell controller implementation for flexible manufacturing systems," Ph.D. Dissertation, Dept. of Electrical Engineering, National Taiwan University of Science & Technology, Taipei, Taiwan, 2001.
7. K. Barkaoui and I. B. Adallah, "Deadlock avoidance in FMS based on structural theory of Petri nets," in Proceedings of INRIA/IEEE Symposium on Emerging Technologies and Factories Automation, Vol. 2, 1995, pp. 499-510.
8. M. Jeng, X. Xie, and S. L. Chung, "ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, Vol. 34, 2004, pp. 102-112.
9. D. Y. Chao and J. A. Nicdao, "Liveness for synchronized choice Petri nets," The Computer Journal, Vol. 44, 2001, pp. 124-136.
10. D. Y. Chao, "Extended synchronized choice nets," The Computer Journal, Vol. 46, 2003, pp. 505-523.
11. D. Y. Chao and D. Wang, "Two theoretical and practical aspects of knitting technique - invariants and a new class of Petri net," IEEE Transactions on System, Man and Cybernetics, Part B, Vol. 27, 1997, pp. 962-977.
12. J. Esparza, "Minimal deadlocks in free choice nets," Hildesheime Informatik-berichte, Institut fur Informatik, Universitat Hildeslieim, 1989.
13. P. Kemper, "Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net," M. A. Marsan, eds., Application and Theory of Petri Nets, LNCS 691, Springer-Verlag, 1993, pp. 319-338.
14. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Transactions on Robotics and Automation, Vol. 13, 1997, pp. 793-804.
15. M. Jeng, M. Peng, and Y. Huang, "An algorithm for calculating minimal siphons and traps of Petri nets," International Journal of Intelligent Control and Systems, Vol. 3, 1999, pp. 263-275.
16. F. Tricas and J. Ezpeleta, "Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets," in Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation, 2003, pp. 322-329.
17. Z. Li and M. Zhou "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Transactions on System, Man, and Cybernetics, Part A: Systems and Humans, Vol. 34, 2004, pp. 38-51.
18. D. B. Johnson, "Finding all the elementary circuits of a directed graph," SIAM Journal on Computing, Vol. 4, 1975, pp. 77-84.
19. D. Y. Chao, "Reachability of non-synchronized choice Petri nets and its applications," IEEE Transactions on Systems, Man and Cybernetics, Part B, Vol. 35, 2005, pp. 1013-1023.
20. D. Y. Chao, "Computation of elementary siphons in Petri nets for deadlock control," The Computer Journal, Vol. 49, 2006, pp. 470-479.