Control of elementary and dependent siphons in Petri nets and their application

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

Volumn 38, Issue 1, 2008, Pages 133-148

  Li, ZhiWu ^a   Zhou, MengChu ^b,c  

^a XIDIAN UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c INSTITUTE OF AUTOMATION   (China)

Author keywords

Automated manufacturing system; Deadlock control; Deadlock prevention; Elementary siphon; Flexible manufacturing system; Petri net

Indexed keywords

COMPUTER SYSTEM RECOVERY; CONTROL SYSTEMS; FLEXIBLE MANUFACTURING SYSTEMS; GRAPH THEORY; KETONES; MARINE BIOLOGY; PETRI NETS;

AUTOMATED MANUFACTURING SYSTEM; DEADLOCK CONTROL; DEADLOCK PREVENTION; ELEMENTARY SIPHON; FLEXIBLE MANUFACTURING SYSTEM; PETRI NET;

SIPHONS;

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

References (48)

1. I. B. Abdallah and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach," Int. J. Adv. Menuf. Technol. vol. 14, no. 10, pp. 704-715, Oct. 1998.
2. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS," in Proc. IEEE Int. Conf. Syst., Men, Cybern., Vancouver, BC, Canada, 1995, pp. 4119-4124.
3. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure theory of Petri nets," in Proc. IEEE Int. Conf. Syst., Men, Cybern., Orlando, FL, 1997, pp. 3750-3755.
4. K. Barkaoui and B. Lemaire, "An effective characterization of minimal deadlocks and traps in Petri nets based on graph theory," in Proc. 10th Int. Conf. Appl. Theory Petri Nets, Bonn, Germany, 1989, pp. 1-21.
5. K. Barkaoui and J.-F. Pradat-Peyre, "On liveness and controlled siphons in Petri nets," in Proc. 17th Int. Conf. Appl. Theory Petri Nets, J. Billington and W. Reisig, Eds., 1996, Lecture Notes in Computer Science, vol. 1091, pp. 57-72.
6. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programnnng," IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997.
7. J. Desel and J. Esparza, Free Choice Petri Nets. Cambridge, U.K.: Cambridge Univ. Press, 1995.
8. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based dead-lock prevention policy for flexible manufacturing systems," IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
9. J. Ezpeleta, J. M. Couvreur, and M. Silva, "A new technique for finding a generating family of siphons, traps, and st-components: Application to colored Petri nets," in Advances in Petri Nets, vol. 674, G. Rozenberg, Ed. New York: Springer-Verlag, 1993, pp. 126-147.
10. J. Ezpeleta, F. García-Vallés, and J. M. Colom, "A class of well structured Petri nets for flexible manufacturing systems," in Proc. 19th Int. Conf. Appl. Theory Petri Nets, J. Desel and M. Silva, Eds., Jun. 1998, Lecture Notes in Computer Science, vol. 1420, pp. 64-83.
11. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for nonsequential resource allocation systems," IEEE Trans. Syst., Men, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 93-101, Jan. 2004.
12. J. Ezpeleta, F. Tricas, F. Garcia-Valles, and J. M. Colom, "A banker's solution for deadlock avoidance in FMS with flexible routing and multire-source states," IEEE Trans. Robot. Autom., vol. 18, no. 4, pp. 621-625, Aug. 2002.
13. 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.
14. A. Ghaffari, N. Rezg, and X. L. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions," IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-142, Feb. 2003.
15. Y. S. 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.
16. M. V. Iordache, J. O. Moody, and P. J. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Robot. Autom., vol. 18, no. 1, pp. 59-68, Feb. 2002.
17. M. D. Jeng and X. L. Xie, "Analysis of modularly composed nets by siphons," IEEE Trans. Syst., Men, Cybern. A, Syst., Humans, vol. 29, no. 4, pp. 399-406, Jul. 1999.
18. M. D. Jeng, X. L. Xie, and M. Y. Peng, "Process nets with resources for manufacturing modeling and their analysis," IEEE Trans. Robot. Autom., vol. 18, no. 6, pp. 875-889, Dec. 2002.
19. M. D. Jeng and X. L. Xie, "Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons," in Deadlock Resolution in Computer-Integrated Systems, M. C. Zhou and M. P. Fanti, Eds. New York: Marcel Dekker, 2005, pp. 233-282.
20. M. D. Jeng, X. L. Xie, and S.-L. Chung, "ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems," IEEE Trans. Syst., Men, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 102-112, Jan. 2004.
21. K. Lautenbach, "Linear algebraic calculation of deadlocks and traps," in Concurrency and Nets, K. Voss, H. J. Genrich, and G. Rozenberg, Eds. New York: Springer-Verlag, 1987, pp. 315-336.
22. K. Lautenbach and H. Ridder, "Liveness in bounded Petri nets which are covered by T-invariants," in Proc. 15th Int. Conf Appl. Theory Petri Nets, R. Valette, Ed., 1994, Lecture Notes in Computer Science, vol. 815, pp. 358-375.
23. K. Lautenbach and H. Ridder, "The linear algebra of deadlock avoidance - A Petri net approach," Inst. Softw. Technol., Univ. Koblenz-Landau, Koblenz, Germany, Tech. Rep. No. 25-1996, 1996.
24. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Men, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007.
25. Z.W. Li and D. Liu, "A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net," Int. J. Product. Res., vol. 45, no. 9, pp. 2161-2165, May 2007.
26. Z.W. Li, M. Uzam, and M. C. Zhou, "Comments on 'Deadlock prevention policy based on Petri nets and siphons'," Int. J. Prod. Res, vol. 42, no. 24, pp. 5253-5254, Dec. 2004.
27. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Men, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
28. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons in Petri nets," IEEE Trans. Syst., Men, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1227-1229, Nov. 2006.
29. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Autom. Control, vol. 46, no. 10, pp. 1572-1583, Oct. 2001.
30. J. Park and S. A. Reveliotis, "Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems," IEEE Trans. Robot. Autom., vol. 16, no. 2, pp. 190-195, Apr. 2000.
31. 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., 2003, Lecture Notes in Computer Science, vol. 2679, pp. 241-255.
32. P.H. Starke, INA: Integrated Net Analyzer. Berlin, Germany: Handbuch, 1992.
33. G. Stremersch, Supervision of Petri Nets. Boston, MA: Kluwer, 2001.
34. G. Stremersch and R. K. Boel, "Reduction of the supervisory control problem for Petri nets," IEEE Trans. Autom. Control, vol. 45, no. 12, pp. 2358-2363, Dec. 2000.
35. F. Tricas and J. Martinez, "An extension of the liveness theory for concurrent sequential processes competing for shared resources," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Vancouver, BC, Canada, Oct. 22-25, 1995, pp. 3035-3040.
36. F. Tricas, F. G. Vallés, J. M. Colom, and J. Ezpeleta, "An iterative method for deadlock prevention in FMSs," in Proc. 5th Workshop Discr. Event Syst., R. Boel and G. Stremerch, Eds., Ghent, Belgium, Aug. 21-23, 2000, pp. 139-148.
37. 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. Menuf. Technol., vol. 19, no. 3, pp. 192-208, Feb. 2002.
38. M. Uzam and M. C. Zhou, "An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems," IEEE Trans, Syst., Man, Cybern., A, Syst. Humans, vol. 37, no. 3, pp. 362-371, May 2007.
39. F.-Y. Wang, Y. Gao, and M. C. Zhou, "A modified reachability tree approach to analysis of unbounded Petri nets," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 34, no. 1, pp. 303-308, Feb. 2004.
40. N. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model," IEEE Trans. Syst., Men, Cybern. C, Appl. Rev., vol. 29, no. 2, pp. 182-204, May 1999.
41. X. L. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans. Robot. Autom., vol. 15, no. 4, pp. 692-703, Aug. 1999.
42. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources," IEEE Trans. Autom. Control, vol. 41, no. 2, pp. 289-295, Feb. 1996.
43. K. Yamalidou, J. O. Moody, M. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants," Automatica, vol. 32, no. 1, pp. 15-28, Jan. 1996.
44. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer, 1993.
45. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a fiexible manufacturing system," Automatica, vol. 28, no. 6, pp. 1199-1208, 1992.
46. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach," IEEE Trans. Semicond. Manufact., vol. 11, no. 3, pp. 333-357, 1998.
47. M. C. Zhou and K. Venkatesh, Modelling, Simulation, and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
48. B. Zouari and K. Barkaoui, "Parameterized supervisor synthesis for a modular class of discrete event systems," in Proc. IEEE Int. Conf. Syst., Man, Cybern., Taipei, Taiwan, Oct. 5-8, 2003, pp. 1874-1879.