An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach

IET Control Theory and Applications

Volumn 5, Issue 9, 2011, Pages 1069-1078

  Huang, Y S ^a   Pan, Y L ^b  

^a Department of Electrical Engineering   (Taiwan)

^b NATIONAL DEFENSE UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

A PLANTS; DEADLOCK PREVENTION POLICY; LINEAR PROGRAMMING PROBLEM; NOVEL METHODOLOGY; PERMISSIVE CONTROLLERS; PETRI NET MODELS; REACHABILITY; THEORY OF REGIONS;

PETRI NETS;

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

References (30)

1. Ezpeleta, J., Colom, J.M., and Martinez, J.: ' A Petri net based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1995, 1, p. 173-184 10.1109/70.370500 1042-296X
2. Huang, Y.S., Jeng, M.D., Xie, X.L., and Chung, S.L.: ' A deadlock prevention policy based on Petri nets and siphons ', Int. J. Prod. Res., 2001, 39, p. 283-305 10.1080/00207540010002405 0020-7543 (Pubitemid 35165680)
3. Huang, Y.S., Jeng, M.D., Xie, X.L., and Chung, T.H.: ' Siphon-based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, Syst. Humans, 2006, 36, (6), p. 2152-2160 10.1109/TSMCA.2006.878953 1083-4427 (Pubitemid 44680571)
4. Huang, Y.S.: ' Deadlock prevention for flexible manufacturing systems in sequence allocation systems ', J. Inf. Sci. Eng., 2007, 23, (1), p. 215-231 1016-2364
5. Huang, Y.S.: ' Design of deadlock prevention supervisors for FMS using Petri nets ', Int. J. Adv. Manuf. Technol., 2007, 35, (3-4), p. 349-362 10.1007/s00170-006-0708-y 0268-3768
6. 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)
7. 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
8. Chao, 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
9. Liu, G.Y., Li, Z.W., and Zhong, C.F.: ' New controllability condition for siphons in a class of generalized Petri nets ', IET Control Theory Appl., 2010, 4, (5), p. 854-864 10.1049/iet-cta.2009.0264
10. Park, J., and Reveliotis, S.: ' 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)
11. 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, Syst. Human, 2004, 34, (1), p. 38-51 10.1109/TSMCA.2003.820576
12. Reveliotis, S.A., and Choi, J.Y.: ' Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions ', Petri nets and other models of concurrency - ICATPN Lecture Notes in Computer Science, 2006, p. 322-341 10.1007/11767589-18 (Pubitemid 44071800)
13. 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)
14. Uzam, M.: ' Synthesis of feedback control elements for discrete event system using Petri net models and theory of regions ', Int. J. Adv. Manuf. Technol., 2004, 24, (1-2), p. 48-69 10.1007/s00170-003-1715-x 0268-3768
15. 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, (3-4), p. 204-219 10.1007/s00170-002-1526-5 0268-3768
16. Uzam, M., and Zhou, M.C.: ' An iterative synthesis approach Petri net-based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Syst. Man Cybern. A, Syst. Human, 2007, 37, (3), p. 362-371 10.1109/TSMCA.2007.893484 (Pubitemid 46621522)
17. Li, Z.W., Wang, A., and Lin, H.: ' A deadlock prevention approach for FMS using siphon and the theory of regions ', IEEE Int. Conf. Systems, Man and Cybernetics, 2004, p. 5079-5084 (Pubitemid 40408146)
18. 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 10.1109/TRA.2002.807555 1042-296X
19. Huang, Y.S., and Pan, Y.L.: ' Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems ', Int. J. Adv. Manuf. Technol., 2010, 48, p. 725-737 10.1007/s00170-009-2299-x 0268-3768
20. Badouel, E., and Darondeau, P.: ' Theory of regions ', (Springer-Verlag, Heidelberg, 1998), (Third Advance Course on Petri Nets
21. 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 Tran. Autom. Sci. Eng., 2008, 5, (1), p. 182-188 10.1109/TASE.2006.884674
22. Huang, Y.S., Pan, Y.L., and Jeng, M.D.: ' An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions ', IEEE Int. Conf. Systems, Man and Cybernetics, October, 2009, p. 187-192
23. Murata, G.T.: ' Petri nets: properties, analysis and applications ', Proc. IEEE, 1989, p. 541-580, 77
24. Park, J., and Reveliotis, S.A.: ' Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems ', IEEE Trans. Robot. Autom., 2000, 16, (2), p. 190-195 10.1109/70.843175 1042-296X
25. 3PMR ', J. Inf. Sci. Eng., 2009, 25, p. 167-183 1016-2364
26. Ramadge, P.J., and Wonham, W.M.: ' The control of discrete event systems ', Proc. IEEE, 1989, p. 81-98, 77
27. Viswanadham, N., Narahari, Y., and Johnson, T.L.: ' 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
28. Liu, G.Y., and Li, Z.W.: ' A general MIP-based liveness test for S4R nets ', IET Control Theory Appl., 2010, 4, (12), p. 2867-2878 10.1049/iet-cta.2009. 0557
29. Piroddi, L., Cordone, R., and Fumagalli, I.: ' Selective siphon control for deadlock prevention in Petri nets ', IEEE Trans. Syst. Man Cybern. A, Syst. Human, 2008, 38, (6), p. 1337-1348 10.1109/TSMCA.2008.2003535
30. PN-tools: 'A Petri net analysis tool, Version 1.0' (Pedagogical University of Rzesów, Polland, 1987-1996)