Smart deadlock prevention policy for flexible manufacturing systems using Petri nets

IET Control Theory and Applications

Volumn 3, Issue 3, 2009, Pages 362-374

  Li, Z ^a   Shpitalni, M ^b  

^a XIDIAN UNIVERSITY   (China)

^b TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEM RECOVERY; FLEXIBLE MANUFACTURING SYSTEMS; MARINE BIOLOGY; PETRI NETS; PLASMA WAVES; SIPHONS;

A PLANTS; AUTOMATED PRODUCTION SYSTEMS; DEADLOCK DETECTIONS; DEADLOCK PREVENTION POLICIES; DEADLOCK PREVENTIONS; ELEMENTARY SIPHONS; FLEXIBLE MANUFACTURING; LIVENESS; NET MODELS; PETRI-NET;

GRAPH THEORY;

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

References (45)

1. Fanti, M.P., and Zhou, M.C.: ' Deadlock control methods in automated manufacturing systems ', IEEE Trans. Syst. Man, Cybern. A., 2004, 34, p. 5-22 10.1109/TSMCA.2003.820590 1083-4427
2. Zhou, M.C., and Venkatesh, K.: ' Modeling, simulation and control of flexible manufacturing systems: A Petri net approach ', (World Scientific, 1998)
3. Murata, T.: ' Petri nets: properties, analysis, and applications ', Proc. IEEE, April, 1989, 77, p. 541-580
4. Zhou, M.C., and DiCesare, F.: ' Petri net synthesis for discrete event control of manufacturing systems ', (Kluwer Academic Publishers, 1993)
5. Wysk, R.A., Yang, N.S., and Joshi, S.: ' Detection of deadlocks in flexible manufacturing systems ', IEEE Trans. Robot. Automat., 1991, 7, p. 853-859
6. Kumaran, T., Chang, W., and Cho, H.: ' A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems ', Int. J. Prod. Res., 1994, 32, p. 2361-2379 10.1080/00207549408957073 0020-7543
7. Hsien, F.S., and Chang, S.C.: ' Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems ', IEEE Trans. Robot. Automat., 1994, 10, p. 196-209
8. Ezpeleta, J., and Recalde, L.: ' A deadlock avoidance approach for non-sequential resource allocation systems ', IEEE Trans. Syst. Man, Cybern. A., 2004, 34, p. 93-101 10.1109/TSMCA.2003.820575 1083-4427
9. 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, p. 704-715 10.1007/BF01438223
10. 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, p. 192-204 10.1109/5326.760564
11. Wu, N.Q., and Zhou, M.C.: ' Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems ', IEEE Trans. Robot. Automat., 2001, 17, p. 657-668
12. 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, p. 1193-1202 10.1109/TSMCB.2005.850141 1083-4419
13. Ezpeleta, J., Colom, J.M., and Martinez, J.: ' A Petri net based deadlock prevention policy for flexible manufacturing systems ', IEEE Trans. Robot. Automat., 1995, 11, p. 173-184 10.1109/70.370500
14. 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. Automat. Contr., 1996, 41, p. 289-295 0018-9286
15. ' The linear algebra of deadlock avoidance - a Petri net approach ', Technical Report, 25-1996, 1996, Institute of Software Technology, University of Koblenz-Landau, Koblenz, Germany
16. Chu, F., and Xie, X.L.: ' Deadlock analysis of Petri nets using siphons and mathematical programming ', IEEE Trans. Robot. Automat., 1997, 13, p. 793-804 10.1109/70.650158
17. 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., Orlando, Florida, October, 12-15, 1997, p. 3750-3755
18. Jeng, M.D., and Xie, X.L.: ' Analysis of modularly composed nets by siphons ', IEEE Trans. Syst. Man, Cybern. A., 1999, 29, p. 399-406 10.1109/3468.769759 1083-4427
19. Zhou, M.C., and DiCeasre, F.: ' A hybrid methodology for synthesis of Petri nets for manufacturing systems ', IEEE Trans. Robot. Automat., 1992, 8, p. 350-361
20. 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. Automat., 2003, 19, p. 137-142 10.1109/TRA.2002.807555
21. Giua, A., DiCesare, F., and Silva, M.: ' Generalized mutual exclusion constraints on nets with uncontrollable transitions ', Proc. IEEE Int. Conf. Syst. Man, Cybern., Chicago, IL, October, 18-21, 1992, p. 974-979
22. 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. Robot. Automat., Seoul, Korea, May, 21-26, 2001, p. 541-546
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, p. 283-305 10.1080/00207540010002405 0020-7543
24. Huang, Y.S.: ' Deadlock prevention for sequence resource allocation systems ', J. Inf. Sci. Eng., 2007, 23, p. 215-231 1016-2364
25. 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, p. 1248-1256 1083-4427
26. Iordache, M.V., Moody, J.O., and Antsaklis, P.J.: ' Synthesis of deadlock prevention supervisors using Petri nets ', IEEE Trans. Robot. Automat., 2002, 18, p. 59-68 10.1109/70.988975
27. 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
28. Li, Z.W., and Zhou, M.C.: ' Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets ', IEEE Trans. Industrial Informatics, 2006, 2, (4), p. 313-325
29. Li, Z.W., Hu, H.S., and Wang, A.R.: ' Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets ', IEEE Trans. Syst. Man, Cybern. C., 2007, 37, (4), p. 517-526 10.1109/TSMCC.2007.897333
30. Park, J., and Reveliotis, S.A.: ' Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems ', IEEE Trans. Robot. Automat., 2000, 16, p. 190-195 10.1109/70.843175
31. Park, J., and Reveliotis, S.A.: ' Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings ', IEEE Trans. Automat. Control., 2001, 46, p. 1572-1583 10.1109/9.956052 0018-9286
32. Tricas, F., García-Vallés, F., Colom, J.M., and Ezpeleta, J.: ' An iterative method for deadlock prevention in FMSs ', Proc. 5th Workshop on Discrete Event Systems, Ghent, Belgium, August, 21-23, 2000, p. 139-148
33. Tricas, F., García-Vallés, F., Colom, J.M., and Ezpeleta, J.: ' A Petri net structure-based deadlock prevention solution for sequential resource allocation systems ', Proc. IEEE Int. Conf. Robot. Automat., Barcelona, Spain, April, 18-22, 2005, p. 271-277
34. 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, p. 192-208
35. Uzam, M.: ' The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems ', Int. J. Adv. Manuf. Tech., 2004, 23, p. 204-219 10.1007/s00170-003-1526-5
36. 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
37. 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
38. Reveliotis, S.A.: ' On the siphon-based characterization of liveness in sequential resource allocation systems ', Proc. Int. Conf. Appl. Theory of Petri Nets 2003, Berlin, 2003, p. 241-255, (LNCS, 2679)
39. Tricas, F., García-Vallés, F., Colom, J.M., and Ezpeleta, J.: ' A structural approach to the problem of deadlock problems in processes with resources ', Proc. IEE 4th Workshop on Discrete Event Systems, Cagliari, Italy, August, 26-28, 1998, p. 273-278
40. 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. 1127-1129 1083-4427
41. 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
42. INA, Integrated Net Analyzer, a tool package for analysis of Petri nets, Version 2.2, Available at URL: http://www.informatik.hu-berlin.de/~starke/ina. html
43. Lindo, Premier Optimization Modeling Tools, http://www.lindo.com/
44. Li, Z.W., and Liu, D.: ' A correct minimal siphons extraction algorithm from a maximal unmarked siphon of Petri nets ', Int. J. Prod. Res., 2007, 45, (9), p. 2161-2165 0020-7543
45. 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