Computation of elementary siphons in Petri nets for deadlock control

Computer Journal

Volumn 49, Issue 4, 2006, Pages 470-479

  Chao, Daniel Yuh ^a  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

Deadlock prevention; Flexible manufacturing systems; Petri nets; S3PR; Siphons

Indexed keywords

COMPUTATIONAL COMPLEXITY; FLEXIBLE MANUFACTURING SYSTEMS; GRAPHIC METHODS; KNOWLEDGE BASED SYSTEMS; PETRI NETS;

DEADLOCK CONTROL; DEADLOCK PREVENTION; ELEMENTARY SIPHONS;

COMPUTATIONAL METHODS;

EID: 33745726710     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxl019     Document Type: Article

References (26)

1. Barkaoui, K. and Abdallah, I. B. (1996) An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets. In Proc. IEEE Int. Conf. on System, Man, and Cybernetics, San Antonio, TX, pp. 525-530. IEEE, Piscataway, NJ.
2. Banaszak, Z. and Krogh, B. H. (1990) Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans. Robot. Automat., 6, 724-734.
3. Lautenbach, K. and Ridder, H. (1996) The linear algebra of deadlock avoidance - a Petri net approach. University of Koblenz, Research Report, Institute for Computer Science, Koblenz, Germany.
4. Hsien, F. S. and Chang, S. C. (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans. Robot. Automat., 10, 196-209.
5. Xing, K. Y., Hu, B. S. and Chen, H. X. (1996) Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources. IEEE Trans. Automat. Contr., 42, 289-296.
6. Park, J. and Reveliotis, S. A. (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. Automat. Contr., 46, 1572-1583.
7. Viswanadham, N., Narahari, Y. and Johnson, T. (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. Robot. Automat., 6, 713-723.
8. Huang, Y. S., Jeng, M., Xie, X. L. and Chung, S. L. (2001) A deadlock prevention policy for flexible manufacturing systems using siphons. In Proc. IEEE Int. Conf. on Robotics Automation, Seoul, Korea, May 21-26, pp. 541-546, IEEE, Piscataway, NJ.
9. Barkaoui, K. and Abdallah, I. B. (1995) A deadlock prevention method for a class of FMS. In Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, Vancouver, BC, Canada, October 22-25, pp. 4119-4124, IEEE, Piscataway, NJ.
10. Ezpeleta, J., Colom, J. M. and Martinez, J. (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. Robot. Automat., 11(2), 173-184.
11. Huang, Y. S., Jeng, M. D., Xie, X. L. and Chung, S. L. (2001) Deadlock prevention policy based on Petri nets and siphons. Int. J. Prod. Res., 39(3), 283-305.
12. Fanti, M. P. and Zhou, M. C. (2004) Deadlock control methods in automated manufacturing systems. IEEE Trans. Syst., Man, Cybern., A: Syst. Humans, 34(1), 5-22.
13. Zhou, M. C. and Fanti, M. P. (2005) Deadlock Resolution in Computer Integrated Systems. Marcel Dekker, New York, NY.
14. Zhou, M. C. and DiCesare, F. (1993) Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers, Boston, MA.
15. Zhou, M. C., DiCesare, F. and Desrochers, A. A. (1992) A hybrid methodology for synthesis of Petri nets for manufacturing systems. IEEE Trans. Robot. Automat., 8(3), 350-361.
16. Iordache, M. V., Moody, J. O. and Antsaklis, P. J. (2001) A method for the synthesis liveness enforcing supervisors in Petri nets. In Proc. Amer. Control. Conf. Arlington, Virginia, June 25-27, pp. 4943-4948. IEEE, Piscataway, NJ.
17. Tricas, F. and Martinez, J. (1995) An extension of the liveness of concurrent sequential processes competing for shared resources. In Proc. IEEE Int. Conf. on System, Man, and Cybernetics, Vancouver, BC, Canada, October 22-25, pp. 4119-4124. IEEE, Piscataway, NJ.
18. Li, Z. and Zhou, M. (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans. Syst., Man, Cybern., A: Syst. Humans, 34(1), 38-51.
19. Ezpeleta, J., Couvreur, J. M. and Silva, M. (1993) A new technique for finding a generating family of siphons, traps, and st-components: application to colored Petri nets. In Rozenberg, G. (ed.), Advances in Petri Nets, 674, pp. 126-147. Springer-Verlag, New York.
20. Lautenbach, K. (1987) Linear algebraic calculation of deadlocks and traps. In Voss, Genrich and Rozemberg (eds), Concurrency and Nets, pp. 315-336. Springer-Verlag, Berlin, Germany.
21. Chao, D. Y. and Nicdao, J. A. (2001) Liveness for synchronized choice Petri nets. Comput. J., 44(2), 124-136.
22. Chu, F. and Xie, X. L. (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Automat., 13(6), 793-804.
23. Tarjan, R. (1972) Depth-first search and linear graph algorithms. SIAM J. Comput., 1, 146-160.
24. Johnson, D. B. (1975) Finding all the elementary circuits of a directed graph. SIAM J. Comput., 4, 77-84.
25. Cormen, T. H., Leiserson, C. E. and Rivest, R. L. (1992) Introduction to Algorithms. The MIT Press/MacGraw-Hill Book Company, Cambridge, MA.
26. Li, Z. and Zhou, M. (2006) Clarifications on the definitions of elementary siphons in Petri nets. IEEE Trans. Syst., Man, Cybern., A: Syst. Humans, to appear.