Searching strict minimal siphons for SNC-based resource allocation systems

Journal of Information Science and Engineering

Volumn 23, Issue 3, 2007, Pages 853-867

  Chao, Daniel Yuh ^a  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

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

Indexed keywords

ALGORITHMS; PETRI NETS; RESOURCE ALLOCATION;

RESOURCE ALLOCATION SYSTEM (RAS); STRICT MINIMAL SIPHONS (SMS);

FLEXIBLE MANUFACTURING SYSTEMS;

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

References (17)

1. Z. Li and M. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Transactions on Systems, Man, and Cybernetics, Part A, Vol. 34, 2004, pp. 38-51.
2. 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.
3. D. Y. Chao and J. A. Nicdao, "Liveness for synchronized choice Petri nets," Computer Journal, Vol. 44, 2001, pp. 124-136.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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 and Technology, Taiwan, 2001.
9. K. Barkaoui and I. B. Abdallah, "Deadlock avoidance in FMS based on structural theory of Petri nets," IEEE Symposium on Emerging Technologies and Factory Automation, Vol. 2, 1995, pp. 499-510.
10. D. Y. Chao, "Computation of elementary siphons in Petri nets for deadlock control," Computer Journal, Vol. 49, 2006, pp. 470-479.
11. D. Y. Chao, "An incremental approach to extract minimal bad siphons," Journal of Information Science and Engineering, Vol. 23, 2007, pp. 203-214.
12. R. Tarjan, "Depth-first search and linear graph algorithms," SIAM Journal on Computing, Vol. 1, 1972, pp. 146-160.
13. D. B. Johnson, "Finding all the elementary circuits of a directed graph," SIAM Journal on Computing, Vol. 4, 1975, pp. 77-84.
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. 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.
16. D. Y. Chao and D. T. Wang, "Two theoretical and practical aspects of knitting technique - invariants and a new class of Petri net," IEEE Transactions on Systems, Man, Cybernetics, Part B, Vol. 27, 1997, pp. 962-977.
17. T. H. Cormen, C. E. Leiserson, and R. L. Rivest, Introduction to Algorithms, The MIT Press/MacGraw-Hill Book Company, 1992.