New controllability condition for siphons in a class of generalised Petri nets

IET Control Theory and Applications

Volumn 4, Issue 5, 2010, Pages 854-864

  Liu, G ^a   Li, Z ^a,b   Zhong, C ^a  

^a XIDIAN UNIVERSITY   (China)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROLLABILITY CONDITION; CONTROLLED SYSTEM; DEADLOCK CONTROL; DEADLOCK CONTROL POLICY; NEW CONCEPT; SEQUENTIAL SYSTEMS; SHARED RESOURCES; STRUCTURAL OBJECTS;

FLEXIBLE MANUFACTURING SYSTEMS; GRAPH THEORY; PETRI NETS; SIPHONS;

CONTROLLABILITY;

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

References (49)

1. 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 1083-4427
2. 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 1042-296X
3. 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 0020-7543
4. Wysk, R.A., Yang, N.S., and Joshi, S.: ' Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches ', J. Manuf. Syst., 1994, 13, (2), p. 128-138 0278-6125
5. 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 1042-296X
6. Huang, Y.S., Jeng, M.D., Xie, X.L., and Chung, S.L.: ' Deadlock prevention policy based on Petri nets and siphons ', Int. J. Prod. Res., 2001, 39, (2), p. 283-305 0020-7543
7. Jeng, M.D., and Xie, X.L.: ' Deadlock detection and prevention of automated manufacturing systems using Petri nets and siphons ', Zhou, M.C., Fanti, M.P., 'Deadlock resolution in computer-integrated systems' (Marcel-Dekker Inc. Press, 2005), p. 233-281
8. Banaszak, Z.A., and Krogh, B.H.: ' Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows ', IEEE Trans. Robot. Autom., 1990, 6, p. 724-734 1042-296X
9. Reveliotis, S.A., Lawley, M., and Ferreira, P.: ' Polynomial complexity deadlock avoidance policies for sequential resource allocation systems ', IEEE Trans. Autom. Control, 1997, 42, p. 1344-1357 0018-9286
10. Fanti, M.P., Maione, B., Mascolo, S., and Turchiano, B.: ' Event-based feedback control for deadlock avoidance in flexible production systems ', IEEE Trans. Robot. Autom., 1997, 13, p. 347-363 1042-296X
11. Wu, N.Q.: ' Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model ', IEEE Trans. Syst. Man Cybern. C, 1999, 29, (2), p. 182-204
12. Lawley, M.: ' Deadlock avoidance for production systems with flexible routing ', IEEE Trans. Robot. Autom., 1999, 15, (3), p. 497-509 1042-296X
13. Wu, N.Q., and Zhou, M.C.: ' Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems based on a Petri net model ', IEEE Trans. Robot. Autom., 2001, 17, (5), p. 658-669 1042-296X
14. 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 0018-9286
15. Lawley, M., and Reveliotis, S.: ' Deadlock avoidance for sequential resource allocation systems: hard and easy cases ', Int. J. Flexible Manuf. Syst., 2001, 13, (4), p. 385-404 0920-6299 (Pubitemid 33074819)
16. Wu, N.Q., and Zhou, M.C.: ' Modeling and deadlock control of automated guided vehicle systems ', IEEE/ASME Trans. Mechatron., 2004, 9, (1), p. 50-57
17. Wu, N.Q., 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 1083-4419
18. Wu, N.Q., and Zhou, M.C.: ' Deadlock resolution in automated manufacturing systems with robots ', IEEE Trans. Autom. Sci. Eng., 2007, 4, (3), p. 474-480 1545-5955
19. 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-804 1042-296X
20. Ezpeleta, J., García-Vallés, F., and Colom, J.M.: ' A class of well structured Petri nets for flexible manufacturing systems ', Proc. 19th Int. Conf. Appl. Theory of Petri Nets, Portugal, 1998, p. 64-83
21. Abdallah, I.B., and ElMaraghy, H.A.: ' Deadlock prevention and avoidance in FMS: a Petri net based approach ', Int. J. Adv. Manuf. Technol., 1998, 14, (10), p. 704-715 0268-3768
22. Badouel, E., and Darondeau, P.: ' Theory of regions ', Reisig, W., Rozenberg, G., 'Lectures on Petri nets I: basic models', (Springer/Heidelberg, 1998) (LNCS, 1491), p. 529-586
23. 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
24. Ghaffari, A., Rezg, N., and Xie, X.L.: ' Design of a live and maximally permissive Petri net controller using the theory of regions ', IEEE Trans. Robot. Autom., 2003, 19, (1), p. 137-142 1042-296X
25. Uzam, M.: ' The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems ', Int. J. Adv. Manuf. Technol., 2004, 23, p. 204-219 0268-3768
26. 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 0020-7543
27. 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, Syst. Humans, 2007, 37, p. 362-371 1083-4427
28. Uzam, M., Li, Z.W., and Zhou, M.C.: ' Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS ', Int. J. Adv. Manuf. Technol., 2007, 35, p. 150-168 0268-3768
29. Barkaoui, K., and Pradat-Peyre, J.F.: ' On liveness and controlled siphons in Petri nets ', Proc. 17th Int. Conf. Appl. Theory of Petri Nets, 1996, p. 57-72, (LNCS, 1091)
30. 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 1042-296X
31. Jeng, M.D., and Xie, X.L.: ' Analysis of modularly composed nets by siphons ', IEEE Trans. Syst. Man Cybern. A, 1999, 29, (4), p. 399-406 1083-4427
32. Huang, Y.S., Jeng, M.D., Xie, X.L., and Chung, S.L.: ' A deadlock prevention policy for flexible manufacturing systems using siphons ', Proc. IEEE Int. Conf. on Robotics and Automation, 2001, p. 541-546
33. 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 1083-4427
34. Tricas, F., García-Vallés, F., Colom, J.M., and Eapeleta, J.: ' A Petri net structure-based deadlock prevention solution for sequential resource allocation systems ', Proc. IEEE Int. Conf. on Robotics and Automation, 2005, p. 271-277
35. Reveliotis, S.A.: ' On the siphon-based characterization of liveness and liveness-enforcing supervision for sequential resource allocation systems', Deadlock resolution in computer-integrated systems ', (Marcel-Dekker, 2005), p. 283-307
36. 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, Syst. Humans, 2006, 36, (6), p. 1248-1256 1083-4427
37. 2 ', IET Control Theory Appl., 2007, 1, (4), p. 933-936
38. Piroddi, L., Cordone, R., and Fumagalli, I.: ' Selective siphon control for deadlock prevention in Petri nets ', IEEE Trans. Syst. Man Cybern. A, Syst. Humans, 2008, 38, (6), p. 1337-1348 1083-4427
39. Piroddi, L., Cossalter, M., and Ferrarini, L.: ' A resource decoupling approach for deadlock prevention in FMS ', Int. J. Adv. Manuf. Technol., 2009, 40, (1-2), p. 157-170 0268-3768
40. Xing, K.Y., Zhou, M.C., Liu, H.X., 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 1083-4427
41. Piroddi, L., Cordone, R., and Fumagalli, I.: ' Combined siphon and marking generation for deadlock prevention in Petri nets ', IEEE Trans. Syst. Man Cybern. A, Syst. Humans, 2009, 39, (3), p. 650-661 1083-4427
42. Murata, T.: ' Petri nets: properties, analysis, and applications ', Proc. IEEE, 1989, 77, (4), p. 541-580 0018-9219
43. Murota, K.: ' Combinatorial dynamical system theory general framework and controllability criteria ', Discret. Appl. Math., 1989, 22, (3), p. 241-265
44. De la Sen, M., and Ibeas, A.: ' On the stability properties of linear dynamic timevarying unforced systems involving switched between parameterizations from topologic considerations via graph theory ', Discret. Appl. Math., 2007, 155, (1), p. 7-25
45. Zhong, C.F., and Li, Z.W.: ' On self-liveness of a class of Petri net models for flexible manufacturing systems ', IET Control Theory Appl., 2010, 4, (3), p. 403-410
46. Li, Z.W., and Zhou, M.C.: ' Deadlock resolution in automated manufacturing systems: a novel Petri net approach ', (Springer, 2009)
47. Tricas, F., García-Vallès, F., Colom, J.M., and Ezpeleta, J.: ' An iterative method for deadlock prevention in FMSs ', Proc. Fifth Workshop on Discrete Event Systems, 2000, p. 139-148
48. Zouari, B., and Barkaoui, K.: ' Parameterized supervisor synthesis for a modular class of discrete event systems ', Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics, 2003, p. 1874-1879
49. Li, Z.W., and Zhao, M.: ' On controllability of dependent siphons for deadlock prevention in generalized Petri nets ', IEEE Trans. Syst. Man Cybern. A, 2008, 38, (2), p. 369-384 1083-4427 (Pubitemid 351425590)