Deadlock control policy for a class of petri nets without complete siphon enumeration

IET Control Theory and Applications

Volumn 1, Issue 6, 2007, Pages 1594-1605

  Li, Z ^a,b   Zhou, M ^c   Uzam, M ^d  

^a XIDIAN UNIVERSITY   (China)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d NIGDE UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEM RECOVERY; CONTROL SYSTEMS; INTEGER PROGRAMMING; PROBLEM SOLVING;

DEADLOCK CONTROL POLICY; DISCRETE MANUFACTURING SYSTEMS; MIXED INTEGER PROGRAMMING (MIP); SIPHON ENUMERATION;

PETRI NETS;

EID: 36248961046     PISSN: 17518644     EISSN: 17518652     Source Type: Journal    
DOI: 10.1049/iet-cta:20060468     Document Type: Article

References (42)

1. Fanti, M.P., and Zhou, M.C.: ' Deadlock control methods in automated manufacturing systems ', IEEE Trans. Syst., Man, Cybern., 2004, 34, (1), p. 5-22 0018-9472
2. 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
3. Fanti, M.P., Maione, B., Mascolo, S., and Turchiano, A.: ' Event-based feedback control for deadlock avoidance in flexible production system ', IEEE Trans. Robot. Autom., 1997, 13, (3), p. 347-363 1042-296X
4. Lawley, M.A., Reveliotis, S.A., and Ferreira, P.M.: ' A correct and scalable deadlock avoidance policy for flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1998, 14, (5), p. 796-809 10.1109/70.720355 1042-296X
5. Reveliotis, S.A., and Ferreira, P.M.: ' Deadlock avoidance policies for automated manufacturing cells ', IEEE Trans. Robot. Autom., 1996, 12, (6), p. 845-857 10.1109/70.544768 1042-296X
6. Reveliotis, S.A., Lawely, M.A., and Ferreira, P.M.: ' Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems ', IEEE Trans. Autom. Contrl., 1997, 42, (10), p. 1344-1357
7. Murata, T.: ' Petri nets: properties, analysis, and applications ', Proc. IEEE, 1989, 77, (4), p. 541-580 10.1109/5.24143 0018-9219
8. Zhou, M.C., and Venkatesh, K.: ' Modelling, simulation and control of flexible manufacturing systems: a petri net approach ', (World Scientific, Singapore, 1998)
9. 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 1042-296X
10. 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
11. Ezpeleta, J., Tricas, F., García-Vallés, F., and Colom, J.: ' A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states ', IEEE Trans. Robot. Autom., 2002, 18, (4), p. 621-625 10.1109/TR A.2002.801048 1042-296X
12. Hsien, F.S., and Chang, S.C.: ' Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems ', IEEE Trans. Robot. Autom., 1994, 10, (2), p. 196-209 1042-296X
13. Banaszak, Z., 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
14. Ezpeleta, J., and Recalde, L.: ' A deadlock avoidance approach for non-sequential resource allocation systems ', IEEE Trans. Syst., Man, Cybern., 2004, 34, (1), p. 93-101 0018-9472
15. 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., 29, (2), p. 192-204 10.1109/5326.760564
16. 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., 17, (5), p. 658-669 1042-296X
17. Zhou, M.C., and DiCesare, F.: ' Parallel and sequential mutual exclusions for Petri net modelling for manufacturing systems ', IEEE Trans. Robot. Autom., 1991, 7, (4), p. 515-527 1042-296X
18. Jeng, M.D., and Xie, X.L.: ' Analysis of modularly composed nets by siphons ', IEEE Trans. Syst., Man, Cybern., A., 1999, 29, (2), p. 399-406 1083-4427
19. Barkaoui, K., and Abdallah, I.B.: ' A deadlock prevention method for a class of FMS ', Proc. IEEE Int. Conf. Syst., Man, Cybern., 1995, p. 4119-4124
20. 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
21. Iordache, M.V., Moody, J.O., and Antsaklis, P.J.: ' Synthesis of deadlock prevention supervisors using Petri nets ', IEEE Trans. Robot. Autom., 2002, 18, (1), p. 59-68 10.1109/70.988975 1042-296X
22. Abdallah, I.B., and ElMaraghy, H.A.: ' Deadlock prevention and avoidance in FMS: a Petri net based approach ', Int. J Adv. Manuf. Tech., 1998, 14, (10), p. 704-715 10.1007/BF01438223
23. 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, (3), p. 283-305 10.1080/00207540010002405 0020-7543
24. Tricas, F., Valles, F.G., Colom, J.M., and Ezpeleta, J.: Boel, R., Stremersch, G., ' An iterative method for deadlock prevention in FMSs ', Discrete event systems: analysis and control, Proc. 5th Workshop on Discrete Event Systems, August, 21-23, 2000, Ghent, Belgium, p. 139-148, (Boston, MA, Kluwer Academic)
25. Barkaoui, K., Chaoui, A., and Zouari, B.: ' Supervisory control of discrete event systems based on structure theory of Petri nets ', Proc. IEEE Int. Conf. Syst., Man, Cybern., 1997, 4, p. 3750-3755
26. Xing, K.Y., Hu, B.S., and Chen, H.X.: ' Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources ', IEEE Trans. Autom. Contrl., 1996, 42, (2), p. 289-295
27. Park, J., and Reveliotis, S.A.: ' Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings ', IEEE Trans. Autom. Contrl., 2001, 46, (10), p. 1572-1583
28. 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
29. 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., 2006, 36, (6), p. 2152-2160 1083-4427
30. 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. Tech., 2002, 19, (3), p. 192-208
31. Uzam, M.: ' The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems ', Int. J. Adv. Manuf. Tech., 2004, 23, (3-4), p. 204-219 10.1007/s00170-003-1526-5
32. 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
33. Lautenbach, K.: ' Linear algebraic calculation of deadlocks and traps ', Voss, K., Genrich, H.J., Rozenberg, G., Concurrency and Nets, (Springer-Verlag, New York, 1987), p. 315-336
34. Li, Z.W., and Zhou, M.C.: ' Two-stage method for synthesising liveness-enforcing supervisors for flexible manufacturing systems using Petri nets ', IEEE Trans. Ind. Inf., 2006, 2, (4), p. 313-325
35. Li, Z.W., Zhang, J., and Zhao, M.: ' Liveness-enforcing supervisor design for a class of generalised Petri net models of flexible manufacturing systems ', IET Control Theory & Applications, 2007, 1, (4), p. 955-967
36. 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
37. Barkaoui, K., and Pradat-Peyre, J.F.: Billington, J., Reisig, W., ' On liveness and controlled siphons in Petri nets ', Proc. 17th Int. Conf. Applications and Theory of Petri Nets, LNCS, 1996, Springer-Verlag, Berlin 1091, p. 57-72
38. Li, Z.W., and Zhou, M.C.: ' Clarifications on the definitions of elementary siphons of Petri nets ', IEEE Trans. Syst., Man, Cybern., A., 2006, 36, (6), p. 1227-1229 10.1109/TSMCA.2006.878966 1083-4427
39. 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., to appear 1083-4427
40. Li, Z.W., and Liu, D.: ' A correct minimal siphon extraction algorithm from a maximal unmarked siphon of a Petri nets ', Int. J. Prod. Res., 2007, 45, (9), p. 2161-2165 0020-7543
41. Li, Z.W., Uzam, M., and Zhou, M.C.: ' Comments on Deadlock prevention policy based on Petri nets and siphons ', Int. J. Prod. Res., 2004, 42, (24), p. 5253-5254 10.1080/00207540412331330822 0020-7543
42. INA, Integrated Net Analyzer, a tool package for analysis of Petri nets, Version 2.2, available at: http://www.informatik.hu-berlin.de/~starke/ina.html