An effective algorithm to find elementary siphons in a class of petri nets

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 39, Issue 4, 2009, Pages 912-923

  Wang, AnRong ^a   Li, ZhiWu ^a   Jia, JianYuan ^a   Zhou, MengChu ^a,b  

^a XIDIAN UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Automated manufacturing system; Digraph; Discrete event system; Elementary siphon; Flexible manufacturing system; Petri net

Indexed keywords

AUTOMATED MANUFACTURING SYSTEM; COMPLEMENTARY SETS; DEADLOCK PREVENTION POLICY; DIGRAPH; DIRECTED GRAPHS; DISCRETE EVENT SYSTEM; EFFECTIVE ALGORITHMS; ELEMENTARY SIPHON; NOVEL CONCEPT; POLYNOMIAL COMPLEXITY; RESOURCE ALLOCATION SYSTEMS; SEQUENTIAL PROCESS; STRICT MINIMAL SIPHON; STRUCTURAL OBJECTS; UPPER BOUND;

COMPUTER SYSTEM RECOVERY; DENSE WAVELENGTH DIVISION MULTIPLEXING; FLEXIBLE MANUFACTURING SYSTEMS; GRAPH THEORY; LINEAR SYSTEMS; PETRI NETS; PLANNING; PRODUCTION ENGINEERING; RESOURCE ALLOCATION; SEQUENTIAL SWITCHING; SET THEORY;

SIPHONS;

EID: 67650690609     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2009.2019880     Document Type: Article

References (26)

1. J. A. Bondy and U. S. R. Murty, Graph Theory With Applications. New York: Macmillan, 1976.
2. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
3. J. Ezpeleta, F. Garcia-valles, and J. M. Colom, "A class of well structured Petri nets for flexible manufacturing systems," in ICATPN 1998, vol. 1420, pp. 64-83.
4. M. P. Fanti and M. C. Zhou, "Deadlock control methods in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 5-22, Jan. 2004.
5. F. S. Hsien and S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 10, no. 2, pp. 196-209, Apr. 1994.
6. F. S. Hsieh, "Fault tolerant deadlock avoidance algorithm for assembly processes," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 65-79, Jan. 2004.
7. F. S. Hsieh, "Analysis of flexible assembly processes based on structural decomposition of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 37, no. 5, pp. 792-803, Sep. 2007.
8. Y. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons," Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, Jan. 2001.
9. Z. Li and M. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
10. Z. Li and M. Zhou, "Clarifications on the definitions of elementary siphons of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1127-1129, Nov. 2006.
11. Z. Li and M. Zhou, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.
12. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London: Springer-Verlag, 2009.
13. S. A. Reveliotis, "On the siphon-based characterization of liveness in sequential resource allocation systems," in Proc. Int. Conf. Appl. Theory Petri Nets, W. M. P. van der Aalst and E. Best, Eds. Berlin, Germany: Springer-Verlag, 2003, vol. 2679, pp. 241-255.
14. K. H. Rosen, Discrete Mathematics and Its Applications, 5th ed. New York: McGraw-Hill, 2003.
15. P. H. Starke, INA: Integrated Net Analyzer, Jul. 2003. [Online]. Available: http://www2.informatik.hu-berlin.de/lehrstuehle/automaten/ina/
16. W. T. Tutte, Graph Theory. Cambridge, U.K.: Cambridge Univ. Press, 2001.
17. M. Uzam, "An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions," Int. J. Adv. Manuf. Technol., vol. 19, no. 3, pp. 192-208, Feb. 2002.
18. M. A. Weiss, Data Structures and Algorithm Analysis in Java. Reading, MA: Addison-Wesley, 1999.
19. D. B. West, Introduction to Graph Theory, 2nd ed. Englewood Cliffs, NJ: Prentice-Hall, 2001.
20. N. Q. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 658-669, Oct. 2001.
21. N. Q. Wu and M. C. Zhou, "Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 35, no. 6, pp. 1193-1202, Dec. 2005.
22. N. Q. Wu and M. C. Zhou, "Shortest routing of bidirectional automated guided vehicles avoiding deadlock and blocking," IEEE ASME Trans. Mechatronics, vol. 12, no. 1, pp. 63-72, Feb. 2007.
23. N. Q. Wu and M. C. Zhou, "Deadlock resolution in automated manufacturing systems with robots," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 3, pp. 474-480, Jul. 2007.
24. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Resource-oriented petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, and Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 56-69, Jan. 2008.
25. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for petri net modeling for manufacturing systems with shared resources," IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.
26. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of petri nets for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jul. 1992.