Improved sufficient condition for the controllability of dependent siphons in system of simple sequential processes with resources

IET Control Theory and Applications

Volumn 5, Issue 9, 2011, Pages 1059-1068

  Liu, G J ^a   Jiang, C J ^a   Zhou, M C ^b  

^a TONGJI UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK PREVENTION POLICY; DEPENDENT SIPHON; LIVENESS-ENFORCING SUPERVISOR; SEQUENTIAL PROCESS; STRICT MINIMAL SIPHON; SUFFICIENT CONDITIONS; WELL MODEL;

CONTROLLABILITY; FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS; SUPERVISORY PERSONNEL;

SIPHONS;

EID: 79960593265     PISSN: 17518644     EISSN: 17518652     Source Type: Journal    
DOI: 10.1049/iet-cta.2010.0195     Document Type: Article

References (73)

1. Zhou, M.C., and Venkatesh, K.: ' Modeling, simulation and control of flexible manufacturing systems: a Petri net approach ', (World Scientific, Singapore, 1998)
2. Abdallah, I.B., and ElMaraghy, H.: ' Deadlock prevention and avoidance in FMS: a Petri net based approach ', Int. J. Adv. Manuf. Technol., 1998, 14, (10), p. 704-715 10.1007/BF01438223 0268-3768 (Pubitemid 128615807)
3. Fanti, M.P., and Zhou, M.C.: ' Deadlock control methods in automated manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, 2004, 34, (1), p. 5-22 10.1109/TSMCA.2003.820590 1083-4427
4. Uzam, M., and Zhou, M.C.: ' An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, 2007, 37, (3), p. 362-371 10.1109/TSMCA.2007.893484 1083-4427 (Pubitemid 46621522)
5. Uzam, M.: ' 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., 2002, 19, (3), p. 192-208 0268-3768 (Pubitemid 34268717)
6. Uzam, M., and Zhou, M.C.: ' An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems ', Int. J. Prod. Res., 2006, 44, (10), p. 1987-2030 10.1080/00207540500431321 0020-7543 (Pubitemid 43860503)
7. Reveliotis, S.A.: ' Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems ', IEEE Trans. Syst. Man Cybern. A, 2007, 37, (3), p. 319-328 10.1109/TSMCA.2007.893461 1083-4427 (Pubitemid 46621518)
8. Piroddi, L., Cordone, R., and Fumagalli, I.: ' Selective siphon control for deadlock prevention in Petri nets ', IEEE Trans. Syst. Man Cybern. A, 2008, 38, (6), p. 1337-1348 10.1109/TSMCA.2008.2003535 1083-4427
9. Piroddi, L., Cordone, R., and Fumagalli, I.: ' Combined siphon and marking generation for deadlock prevention in Petri nets ', IEEE Trans. Syst. Man Cybern. A, 2009, 39, (3), p. 650-661 10.1109/TSMCA.2009.2013189 1083-4427
10. Tricas, F., García-Vallès, F., Colom, J.M., and Ezpeleta, J.: ' A structural approach to the problem of deadlock prevention in processes with resources ', Proc. WODES'98, Cagliari, Italy, August, 26-28, 1998, p. 273-278
11. Liu, G.J., Jiang, C.J., Wu, Z.H., and Chen, L.J.: ' A live subclass of Petri net and their application in modeling flexible manufacturing systems ', Int. J. Adv. Manuf. Technol., 2009, 41, (1-2), p. 66-74 10.1007/s00170-008-1457- x 0268-3768
12. Liu, G.J., Jiang, C.J., Chen, L.J., and Wu, Z.H.: ' Two types of extended RSNBs and their application in modeling flexible manufacturing systems ', Int. J. Adv. Manuf. Technol., 2009, 45, (5-6), p. 573-582 10.1007/s00170-009-1995-x 0268-3768
13. 3PR based on key-resource/operation-place pairs ', IEEE Trans. Autom. Sci. Eng., 2010, 7, (4), p. 945-957 10.1109/TASE.2010.2050059 1545-5955
14. Wu, N.Q., and Zhou, M.C.: ' Deadlock modeling and control of semiconductor track systems using resource oriented Petri nets ', Int. J. Prod. Res., 2007, 45, (15), p. 3439-3456 10.1080/00207540600863738 0020-7543 (Pubitemid 46907031)
15. Viswanadham, N., Narahari, Y., and Johnson, T.: ' Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models ', IEEE Trans. Robot. Autom., 1990, 6, (6), p. 713-723 10.1109/70.63257 1042-296X
16. Barkaoui, K., and Abdallah, I.B.: ' An efficient deadlock avoidance control policy in FMS using structural analysis of Petri nets ', Proc. IEEE Int. Conf. System, Man, Cybernetics, San Antonio, TX, October, 2-5, 1994, p. 525-530
17. Banaszak, Z.A., and Krogh, B.H.: ' Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows ', IEEE Trans. Robot. Autom., 1990, 6, (6), p. 724-734 10.1109/70.63273 1042-296X
18. Lawley, M., and Reveliotis, S.: ' Deadlock avoidance for sequential resource allocation systems: hard and easy cases ', Int. J. Flex. Manuf. Syst., 2001, 13, (4), p. 385-404 10.1023/A:1012203214611 (Pubitemid 33074819)
19. Ezpeleta, J., Tricas, F., García-Vallès, F., and Colom, J.M.: ' A banker's solution for deadlock avoidance in FMS with flexible routing and multi resource stats ', IEEE Trans. Robot. Autom., 2002, 18, (4), p. 621-625 10.1109/TRA.2002.801048 1042-296X (Pubitemid 35372525)
20. Kumaran, T.K., Chang, W., Cho, H., and Wysk, R.A.: ' A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems ', Int. J. Prod. Res., 1994, 32, (10), p. 2361-2379 10.1080/00207549408957073 0020-7543
21. Wysk, R.A., Yang, N.S., and Joshi, S.: ' Detection of deadlocks in flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1991, 7, (6), p. 853-859 10.1109/70.105378 1042-296X (Pubitemid 23563812)
22. Cho, H., Kumaran, T.K., and Wysk, R.A.: ' Graph-theoretic deadlock detection and resolution for flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1995, 11, (3), p. 413-421 10.1109/70.388784 1042-296X
23. Ezpeleta, J., Colom, J.M., and Martinez, J.: ' A Petri net based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1995, 11, (2), p. 173-184 10.1109/70.370500 1042-296X
24. Li, Z.W., and Zhou, M.C.: ' Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, 2004, 34, (1), p. 38-51 10.1109/TSMCA.2003.820576 1083-4427
25. Xing, K.Y., Zhou, M.C., Liu, H., and Tian, F.: ' Optimal Petri-net-based polynomial-complexity deadlock-avoidance policies for automated manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, 2009, 39, (1), p. 188-199 10.1109/TSMCA.2008.2007947 1083-4427
26. Liu, Y.S., Wei, C.C., and Gao, S.W.: ' Research on software reliability modeling based on stochastic Petri nets and module level software rejuvenation ', ICIC Exp. Lett., 2009, 3, (3), p. 607-614
27. Maeno, R., Konishi, M., and Imai, J.: ' Petri net solver for semiconductor manufacturing plan ', Int. J. Innov. Comput. Inf. Control, 2008, 4, (12), p. 3193-3206
28. Yang, X., and Chen, L.J.: ' Encoded in dynamic systems modeled by Petri net controllers for fault tolerance ', ICIC Exp. Lett., 2010, 4, (1), p. 31-36
29. Liu, G.J., and Jiang, C.J.: ' Incidence matrix based methods for computing repetitive vectors and siphons of Petri net ', J. Inf. Sci. Eng., 2009, 25, (1), p. 121-136 1016-2364
30. Iordache, M.V., and Antsaklis, P.J.: ' Supervisory control of concurrent systems: a Petri net structural approach ', (Springer, Berlin, 2006)
31. Chu, F., and Xie, X.L.: ' Deadlock analysis of Petri nets using siphons and mathematical programming ', IEEE Trans. Robot. Autom., 1997, 13, (6), p. 793-840 10.1109/70.650158 1042-296X
32. Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P.: ' Feedback control of Petri nets based on place invariants ', Automatica, 1996, 23, (1), p. 15-28 10.1016/0005-1098(95)00103-4 0005-1098 (Pubitemid 126337854)
33. Chao, D.Y.: ' Incremental approach to computation of elementary siphons for arbitrary simple sequential processes with resources ', IET Control Theory Appl., 2008, 2, (2), p. 168-179 10.1049/iet-cta:20070130 (Pubitemid 351311590)
34. Chao, D.Y., and Li, Z.W.: ' Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons ', IET Control Theory Appl., 2009, 3, (4), p. 391-403 10.1049/iet-cta.2007.0470
35. 2 ', IET Control Theory Appl., 2007, 1, (4), p. 933-936 10.1049/iet-cta:20060275 (Pubitemid 46990248)
36. Park, J., and Reveliotis, S.A.: ' Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings ', IEEE Trans. Autom. Control, 2001, 46, (10), p. 1572-1583 10.1109/9.956052 0018-9286 (Pubitemid 33018223)
37. Huang, Y.S.: ' Deadlock prevention for sequence resource allocation systems ', J. Inf. Sci. Eng., 2007, 23, (1), p. 215-231 1016-2364
38. Huang, Y.S., Jeng, M.D., Xie, X.L., and Chung, D.H.: ' Siphon-based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, 2006, 36, (6), p. 2152-2160 10.1109/TSMCA.2006.878953 1083-4427 (Pubitemid 44680571)
39. Xie, X.L., and Jeng, M.D.: ' ERCN-merged nets and their analysis using siphons ', IEEE Trans. Robot. Autom., 1999, 15, (4), p. 692-703 10.1109/70.781975 1042-296X
40. Jeng, M.D., Xie, X.L., and Chung, S.L.: ' ERCN* merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, 2004, 34, (1), p. 102-112 10.1109/TSMCA.2003.820579 1083-4427
41. Zouari, B., and Barkaoui, K.: ' Parameterized supervisor synthesis for a modular class of discrete event systems ', Proc. IEEE Int. Conf. System, Man, Cybernetics, 2003, p. 1874-1879
42. Li, Z.W., and Zhou, M.C.: ' Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets ', IEEE Trans. Ind. Inf., 2006, 2, (4), p. 313-325 10.1109/TII.2006.885185 (Pubitemid 44837072)
43. Li, Z.W., and Shpitalni, M.: ' Smart deadlock prevention policy for flexible manufacturing systems using Petri nets ', IET Control Theory Appl., 2009, 3, (3), p. 362-374 10.1049/iet-cta:20070399
44. Li, Z.W., Zhou, M.C., and Jeng, M.D.: ' A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions ', IEEE Trans. Autom. Sci. Eng., 2008, 5, (1), p. 182-188 10.1109/TASE.2006.884674 1545-5955
45. Li, Z.W., and Zhou, M.C.: ' Control of elementary and dependent siphons in Petri nets and their application ', IEEE Trans. Syst. Man Cybern. A, 2008, 38, (1), p. 133-148 10.1109/TSMCA.2007.909548 1083-4427
46. Li, Z.W., Zhou, M.C., and Uzam, M.: ' Deadlock control policy for a class of Petri nets without complete siphon enumeration ', IET Control Theory Appl., 2007, 1, (6), p. 1594-1605 10.1049/iet-cta:20060468 (Pubitemid 350136746)
47. Li, Z.W., Zhang, J., and Zhao, M.: ' Liveness-enforcing supervisor design for a class of generalized Petri net models of flexible manufacturing systems ', IET Control Theory Appl., 2007, 1, (4), p. 955-967 10.1049/iet-cta:20060218 (Pubitemid 46990251)
48. Li, Z.W., and Zhou, M.C.: ' Deadlock resolution in automated manufacturing systems: a novel Petri net approach ', (Springer, New York, 2009)
49. Wang, A.R., Li, Z.W., Jia, J.Y., and Zhou, M.C.: ' An effective algorithm to find elementary siphons in a class of Petri nets ', IEEE Trans. Syst. Man Cybern. A, 2009, 39, (4), p. 912-923 10.1109/TSMCA.2009.2019880 1083-4427
50. Hruz, B., and Zhou, M.C.: ' Modeling and control of discrete event dynamic systems ', 2007),(Springer, New York
51. Silva, M., Teruel, E., and Colom, J.: ' Linear algebraic and linear programming techniques for the analysis of place/transition net systems ', LNCS, 1996, 1491, p. 309-373
52. Hu, H.S., and Li, Z.W.: ' Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources ', Int. J. Adv. Manuf. Technol., 2008, 38, (3-4), p. 309-320 10.1007/s00170-007-1110-0 0268-3768
53. Starke P.H.: 'INA: integrated net analyzer', 2003, http://www2. informatik.hu-berlin.de/~starke/ina.html
54. Zhou, M.C., Fanti, M.P., ' Deadlock resolution in computer-integrated systems ', (Marcel Dekker, New York, 2005)
55. Li, Z.W., Zhou, M.C., and Wu, N.Q.: ' A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. C, 2008, 38, (2), p. 173-188 10.1109/TSMCC.2007. 913920 (Pubitemid 351404113)
56. Li, Z., Yan, M., and Zhou, M.C.: ' Synthesis of structurally simple supervisors enforcing generalized mutual exclusion constraints in Petri nets ', IEEE Trans. Syst. Man Cybern. C, 2010, 40, (3), p. 330-340 10.1109/TSMCC.2009. 2037824
57. Ding, Z.J., Jiang, C.J., and Zhou, M.C.: ' Deadlock checking for one-place unbounded Petri nets based on modified reachability Trees ', IEEE Trans. Syst. Man Cybern. B, 2008, 38, (3), p. 881-883 10.1109/TSMCB.2008.917177 1083-4419 (Pubitemid 351796163)
58. Zhou, M.C.: ' Deadlock avoidance methods for a distributed robotic system: Petri net modeling and analysis ', J. Robot. Syst., 1995, 12, (3), p. 177-187 10.1002/rob.4620120303 0741-2223
59. Zhou, M.C., and DiCesare, F.: ' Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources ', IEEE Trans. Robot. Autom., 1991, 7, (4), p. 515-527 10.1109/70.86081 1042-296X (Pubitemid 21674694)
60. Zhou, M.C., DiCesare, F., and Desrochers, A.A.: ' A hybrid methodology for synthesis of Petri nets for manufacturing systems ', IEEE Trans. Robot. Autom., 1992, 8, (3), p. 350-361 10.1109/70.143353 1042-296X
61. Zhou, M.C., DiCesare, F., and Rudolph, D.: ' Design and implementation of a Petri net based supervisor for a flexible manufacturing system ', Automatica, 1992, 28, (6), p. 1199-1208 10.1016/0005-1098(92)90061-J 0005-1098 (Pubitemid 23587956)
62. Zhou, M.C., McDermott, K., and Patel, P.A.: ' Petri net synthesis and analysis of a flexible manufacturing system cell ', IEEE Trans. Syst. Man Cybern., 1993, 23, (2), p. 523-531 10.1109/21.229464 0018-9472 (Pubitemid 23694031)
63. Wu, N., Zhou, M.C., and Li, Z.: ' Resource-oriented Petri net for deadlock avoidance in flexible assembly systems ', IEEE Trans. Syst. Man Cybern. A, 2008, 38, (1), p. 56-69 10.1109/TSMCA.2007.909542 1083-4427
64. Wu, N., and Zhou, M.C.: ' Deadlock resolution in automated manufacturing systems with robots ', IEEE Trans. Autom. Sci. Eng., 2007, 4, (3), p. 474-480 10.1109/TASE.2006.888049 1545-5955 (Pubitemid 47159786)
65. Wu, N., and Zhou, M.C.: ' Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles ', IEEE Trans. Syst. Man Cybern. B, 2005, 35, (6), p. 1193-1202 10.1109/TSMCB.2005.850141 1083-4419 (Pubitemid 41800419)
66. Wu, N., and Zhou, M.C.: ' Deadlock modeling and control of automated guided vehicle systems ', IEEE/ASME Trans. Mechatronics, 2004, 9, (1), p. 50-57 10.1109/TMECH.2004.823875 1083-4435
67. Wu, N., and Zhou, M.C.: ' Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems ', IEEE Trans. Robot. Autom., 2001, 17, (5), p. 658-669 10.1109/70.964666 1042-296X (Pubitemid 33137781)
68. 3PR ', Automatica, 2010, 46, (6), p. 1008-1018 10.1016/j.automatica. 2010.03.011 0005-1098
69. Hu, H., Zhou, M.C., and Li, Z.W.: ' Liveness enforcing supervision of video streaming systems using non-sequential Petri nets ', IEEE Trans. Multimed., 2009, 11, (8), p. 1446-1456 10.1109/TMM.2009.2032677 1520-9210
70. Hu, H., Zhou, M.C., and Li, Z.: ' Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets ', IEEE Trans. Autom. Sci. Eng., 2010, 7, (3), p. 549-557 10.1109/TASE.2009.2037825 1545-5955
71. Hu, H., Zhou, M.C., and Li, Z.: ' Low-cost high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets ', IEEE Trans. Autom. Sci. Eng., 2010, 7, (4), p. 933-944 10.1109/TASE.2010.2046412 1545-5955
72. Hu, H., Zhou, M.C., and Li, Z.: ' Supervisor design to enforce production ratio and liveness using Petri nets ', IEEE Trans. Syst., Man Cybern. A, 2011, 41, (2), p. 201-212 10.1109/TSMCA.2010.2058101 1083-4427
73. Xing, K., Zhou, M.C., Wang, F., Liu, H., and Tian, F.: ' Resource transition circuits and siphons for deadlock control of automated manufacturing systems ', IEEE Trans. Syst., Man Cybern. A, 2011, 41, (1), p. 74-84 10.1109/TSMCA.2010.2048898 1083-4427