A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets

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

Volumn 42, Issue 1, 2012, Pages 226-237

  Wang, Shouguang ^a   Wang, Chengying ^a   Zhou, Mengchu ^b,c   Li, Zhiwu ^d,e  

^a ZHEJIANG GONGSHANG UNIVERSITY   (China)

^b Department of Computer Science and Technology   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d XIDIAN UNIVERSITY   (China)

^e KING SAUD UNIVERSITY   (Saudi Arabia)

Author keywords

Deadlock; discrete event system (DES); flexible manufacturing system (FMS); Petri net; supervisory control

Indexed keywords

COMPUTATIONAL EFFICIENCY; DISCRETE EVENT SIMULATION; EFFICIENCY; PETRI NETS; SET THEORY; SIPHONS;

COMPUTATIONAL TIME; DEADLOCK; DEADLOCK CONTROL POLICY; RESOURCE CIRCUIT; SEQUENTIAL PROCESS; STRICT MINIMAL SIPHON; SUFFICIENT AND NECESSARY CONDITION; SUPERVISORY CONTROL;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 84655167633     PISSN: 10834427     EISSN: 15582426     Source Type: Journal    
DOI: 10.1109/TSMCA.2011.2159590     Document Type: Article

References (60)

1. J. L. Luo, W. M. Wu, H. Y. Su, and J. Chu, “Supervisor synthesis for enforcing a class of GMECs on Petri nets,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 6, pp. 1237–1246, Nov. 2009.
2. N. Q. Wu, “Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model,” IEEE Trans. Syst., Man, Cybern. C, Appi. Rev., vol. 29, no. 2, pp. 192–204, May 1999.
3. N. Q. Wu, L. P. Bai, and C. B. Chu, “Modeling and conflict detection of crude-oil operations for refinery process based on controlled-colored-timed Petri net,” IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 461–472, Jul. 2007.
4. N. Q. Wu and W. Q. Zeng, “Deadlock avoidance in AGV system using colored Petri net model,” Int. J. Prod. Res., vol. 40, no. 1, pp. 223–238, 2002.
5. K. Xing, B. Hu, and H. 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.
6. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Anufacturing Systems: A Novel Petri Net Approach. London, U. K.: Springer-Verlag, Feb. 2009.
7. L. Piroddi, R. Cordone, and I. Fumagalli, “Combined siphon and marking generation for deadlock prevention in Petri nets,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 3, pp. 650–661, May 2009.
8. L. Piroddi, R. Cordone, and I. Fumagalli, “Selective siphon control for deadlock prevention in Petri nets,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 6, pp. 1337–1348, Nov. 2008.
9. A. Giua and C. Seatzu, “Modeling and supervisory control of railway networks using Petri nets,” IEEE Trans. Autom. Sci. Eng., vol. 5, no. 3, pp. 431–445, Jul. 2008.
10. Y. S. Huang, M. D. Jeng, X. L. Xie, and D. H. Chung, “Siphon-based deadlock prevention policy for flexible manufacturing systems,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1248–1256, Nov. 2006.
11. Y. S. Huang, “Deadlock prevention for sequence resource allocation systems,” J. Inf. Sci. Eng., vol. 23, no. 1, pp. 215–231, Jan. 2007.
12. Y. S. Huang, “Design of deadlock prevention supervisors using Petri nets,” Int. J. Adv. Manuf. Technol., vol. 35, no. 3/4, pp. 349–362, Dec. 2007.
13. 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.
14. R. Cordone, L. Ferrarini, and L. Piroddi, “Enumeration algorithms for minimal siphons in Petri nets based on place constraints,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 35, no. 6, pp. 844–854, Nov. 2005.
15. R. Cordone, L. Ferrarini, and L. Piroddi, “Some results on the computation of minimal siphons in Petri nets,” in Proc. 42nd IEEE Conf. Decision Control, Maui, HI, Dec. 9-12, 2003, vol. 4, pp. 3754–3759.
16. F. Chu and X. L. Xie, “Deadlock analysis of Petri nets using siphons and mathematical programming,” IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793–804, Dec. 1997.
17. 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.
18. 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., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 38–51, Jan. 2004.
19. Z. W. Li and M. C. Zhou, “Clarifications on the definitions of elementary siphons of Petri nets,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 6, pp. 1227–1229, Nov. 2006.
20. Z. W. Li and A. R. Wang, “A Petri net based deadlock prevention approach for flexible manufacturing systems,” Acta Autom. Sin., vol. 29, no. 5, pp. 733–740, 2003.
21. Z. W. Li, M. C. Zhou, and M. D. Jeng, “A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions,” IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 182–188, Jan. 2008.
22. Z. W. Li and M. C. Zhou, “On siphon computation for deadlock control in a class of Petri nets,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 3, pp. 667–679, May 2008.
23. X. L. Liu, A. R. Wang, and Z. W. Li, “A fast algorithm to find a set of elementary siphons for a class of Petri nets,” in Proc. IEEE Int. Conf. Autom. Sci. Eng., Shanghai, China, Oct. 7-10, 2006, pp. 399–404.
24. A. R. Wang, Z. W. Li, J. Y. Jia, and M. C. Zhou, “An effective algorithm to find elementary siphons in a class of Petri nets,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 4, pp. 912–923, Jul. 2009.
25. Z. W. Li and M. C. 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.
26. Z. W. Li and M. Zhao, “On controllability of dependent siphons for deadlock prevention in generalized Petri nets,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 2, pp. 369–384, Mar. 2008.
27. Z. W. Li, M. C. Zhou, and M. Uzam, “Deadlock control policy for a class of petri nets without complete siphon enumeration,” IET Control Theory Appl., vol. 1, no. 6, pp. 1594–1605, Nov. 2007.
28. Z. W. Li and M. C. Zhou, “Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets,” IEEE Trans. Ind. Inf., vol. 2, no. 4, pp. 313–325, Nov. 2006.
29. K. Y. Xing, M. C. Zhou, H. X. Liu, and F. Tian, “Optimal petri net based polynomial complexity deadlock avoidance policies for automated manufacturing systems,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 1, pp. 188–199, Jan. 2009.
30. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U. K.: Springer, 2007.
31. H. Hu, M. C. Zhou, and Z. Li, “Liveness enforcing supervision of video streaming systems using non-sequential Petri nets,” IEEE Trans. Multimedia, vol. 11, no. 8, pp. 1457–1465, Dec. 2009.
32. H. Hu, M. C. Zhou, and Z. Li, “Low-cost high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets,” IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 933–944, Oct. 2010.
33. H. Hu, M. C. Zhou, and Z. Li, “Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets,” IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549–557, Jul. 2010.
34. H. Hu, M. C. Zhou, and Z. Li, “Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 41, no. 2, pp. 201–212, Mar. 2010.
35. 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.
36. S. A. Reveliotis, “On the siphon-based characterization of liveness and liveness-enforcing supervision for sequential resource allocation systems,” in Deadlock Resolution in Computer-Integrated Systems, M. C. Zhou and M. P. Fanti, Eds. New York: Marcel Dekker, 2005, pp. 283–307.
37. 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, 1989, pp. 1–21.
38. P. H. Starke, INA: Integrated Net Analyzer, 1992. [Online]. Available: http://www2.informatik.hu-berlin.de/∼starke/ina.html.
39. E. R. Boer and T. Murata, “Generating basis siphons and traps of Petri nets using sign incidence matrix,” IEEE Trans. Circuits Syst. I, Fundam. Theory Appl., vol. 41, no. 4, pp. 266–271, Apr. 1994.
40. Computation results for SMS of S3PR, Nov. 2010. [Online]. Available: http://web.njit.edu/∼zhou/SMS.rar.
41. H. X. Liu, K. Y. Xing, and S. Gao, “Comment on ‘On siphon computation for deadlock control in a class of Petri nets’,” IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 39, no. 6, pp. 1348–1350, Nov. 2009.
42. N. Q. Wu and M. C. Zhou, System Modeling and Control with Resource-Oriented Petri Nets. New York: CRC, 2010.
43. M. C. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer-Integrated Systems. New York: Marcel Dekker, Jan. 2005.
44. D. Liu, Z. W. Li, and M. C. Zhou, “Liveness of an Extended S3PR,” Automatica, vol. 46, no. 6, pp. 1008–1018, 2010.
45. M. C. Zhou, Ed., Petri Nets in Flexible and Agile Automation. London, U. K.: Kluwer, 1995.
46. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flex-ible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
47. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, U. K.: Kluwer, 1993.
48. M. C. Zhou, “Deadlock avoidance methods for a distributed robotic system: Petri net modeling and analysis,” J. Robotic Syst., vol. 12, no. 3, 12, pp. 177–187, 1995.
49. Z. Ding, C. Jiang, and M. C. Zhou, “Deadlock checking for one-place unbounded Petri Nets based on modified reachability trees,” IEEE Trans. Syst., Man, Cybern.: Part B, vol. 38, no. 3, pp. 881–883, 2008.
50. M. C. Zhou and F. DiCesare, “Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources,” IEEE Trans. Robot. Automat., vol. 4, no. 7, pp. 515–527, 1991.
51. M. C. Zhou, F. DiCesare, and A. A. Desrochers, “A hybrid methodology for synthesis of Petri Nets for manufacturing systems,” IEEE Trans. Robot. Automat., vol. 8, no. 3, pp. 350–361, 1992.
52. M. C. Zhou, F. DiCesare, and D. Rudolph, “Design and implementation of a Petri Net based supervisor for a flexible manufacturing system,” Automatica, vol. 28, no. 6, pp. 1199–1208, 1992.
53. M. C. Zhou, K. McDermott, and P. A. Patel, “Petri Net synthesis and analysis of a flexible manufacturing System cell,” IEEE Trans. Syst., Man, and Cybernetics, vol. 23, no. 2, pp. 523–531, 1993.
54. N. Wu, M. C. Zhou, and Z. Li, “Resource-oriented Petri Net for deadlock avoidance in flexible assembly systems,” IEEE Trans. on Systems, Man, Cybern.: Part A, vol. 38, no. 1, pp. 56–69, 2008.
55. N. 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, 2007.
56. N. Wu and M. C. Zhou, “Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles,” IEEE Trans. Syst., Man, Cybern.: Part B, vol. 35, no. 6, pp. 1193–1202, Dec. 2005.
57. N. Wu and M. C. Zhou, “Deadlock modeling and control of automated guided vehicle systems,” IEEE/ASME Trans. Mechatronics, vol. 9, no. 1, pp. 50–57, 2004.
58. N. Wu and M. C. Zhou, “Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems,” IEEE Trans. Robot. Automat., vol. 17, no. 5, pp. 658–669, 2001.
59. G. Zeng, W. Wu, W. Mao, H. Su, and J. Chu, “A hybrid approach to design deadlock-free Petri net controller for discrete event systems,” Trans. Inst. Meas. Control, vol. 33, no. 1, pp. 77–92, 2011.
60. F. Lu, W. Wu, H. Su, and J. Chu, “Non-blocking decentralized control of discrete event systems based on Petri nets,” Asian J. Control, vol. 12, no. 3, pp. 1–13, 2010.