Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs

Computers and Industrial Engineering

Volumn 57, Issue 4, 2009, Pages 1168-1181

  Hu, Hesuan ^a   Li, Zhiwu ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Deadlock prevention; Mixed integer programming; Petri nets; Reachability graph; Resource allocation systems

Indexed keywords

DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; ITERATIVE ALGORITHM; LIVENESS; MIXED INTEGER PROGRAMMING; MULTIPLE RESOURCE ACQUISITION; PETRI-NETS MODELING; REACHABILITY GRAPHS; RESOURCE ALLOCATION SYSTEMS; ROUTINGS;

DYNAMIC PROGRAMMING; GRAPH THEORY; PETRI NETS; PLANNING; PLASMA WAVES; RESOURCE ALLOCATION; SIPHONS;

INTEGER PROGRAMMING;

EID: 71849117440     PISSN: 03608352     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cie.2009.05.006     Document Type: Article

References (52)

1. Abdallah I.B., and ElMaraghy H.A. Deadlock prevention and avoidance in FMS: A Petri net based approach. International Journal of Advanced Manufacturing Technology 14 10 (1998) 704-715
2. Alaiwan H., and Toudic J. Recherche des semi-flots, des verroux et des trappes dans les rseaux de Petri. Technique et Science Informatiques (1985) 103-112
3. Badouel E., and Darondeau P. Theory of regions. In: Rozenberg G. (Ed). Lectures on Petri nets I: Basic models lecture notes in computer science (1998), Springer verlag, Berlin 529-586
4. Banaszak Z.A., and Krogh B.H. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation 6 6 (1990) 724-734
5. Barkaoui, K., Chaoui, A., & Zouari, B. (1997). Supervisory control of discrete event systems based on structure theory of Petri nets. In Proceedings of IEEE conference on systems, man, and cybernetics (pp. 3750-2755). Paris, France.
6. Barkaoui K., and Peyre J.F. On liveness and controlled siphons in Petri nets. In: Billington J., and Reisig W. (Eds). Proceedings of international conference on applicaction and theory of Petri nets, lecture notes in computer science (1996), Springer-verlag, Berlin 57-72
7. 2. IET Control Theory and Applications 1 4 (2007) 933-936
8. Cho H., Kumaran T.K., and Wysk R.A. Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11 3 (1995) 413-421
9. Chu F., and Xie X.L. Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation 13 6 (1997) 793-804
10. Ezpeleta J., Colom J.M., and Marti{dotless}́nez J. A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11 2 (1995) 173-184
11. Ezpeleta J., Tricas F., Garci{dotless}́a-vallés F., and Colom J.M. A banker's solution for deadlock avoidance in FMS with flexible routing and multiresources states. IEEE Transactions on Robotics and Automation 18 4 (2002) 621-625
12. Fanti M.P. Deadlock resolution strategy for automated manufacturing systems including conjunctive resource service. IEEE Transactions on Systems, Man, and Cybernetics-Part A 34 1 (2004) 80-92
13. Fanti M.P., Maione B., Mascolo S., and Turchiano B. Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Transactions on Robotics and Automation 13 3 (1997) 347-363
14. Fanti M.P., and Zhou M.C. Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems Man, and Cybernetics-Part A 34 1 (2004) 5-22
15. Ghaffari A., Nidhal N., and Xie X.L. Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation 19 1 (2003) 137-141
16. Huang Y.S., Jeng M.D., Xie X.L., and Chung S. Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research 39 2 (2001) 283-305
17. Huang Y.S., Jeng M.D., Xie X.L., and Chung D.H. Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A 36 6 (2006) 1248-1256
18. Integrated net analyzer (2003). A software tool for analysis of Petri nets. Version 2.2. . 31.07.2003.
19. Iordache M.V., and Antsakis P.J. Design of T-liveness enforcing supervisors in Petri nets. IEEE Transactions on Automatic Control 48 11 (2003) 1962-1974
20. Iordache M.V., and Antsaklis P.J. Synthesis of supervisors enforcing general linear constraints in Petri nets. IEEE Transactions on Automatic Control 48 11 (2003) 2036-2039
21. Iordache M.V., Moody J.O., and Antsaklis P.J. Synthesis of deadlock prevention supervisors using Petri nets. IEEE Transactions on Robotics and Automation 18 1 (2002) 59-68
22. Jeng M.D. Modular synthesis of Petri nets for modeling flexible manufacturing systems. International Journal of Flexible Manufacturing Systems 7 3 (1995) 287-310
23. Jeng M.D. A Petri net synthesis theory for modeling flexible manufacturing systems. IEEE Transactions on Systems Man and Cybernetics-Part B 27 2 (1997) 169-183
24. Jeng M.D., and Chen S.C. A heuristic search approach using approximate solutions of Petri net state equations for scheduling flexible manufacturing systems. International Journal of Flexible Manufacturing Systems 10 2 (1998) 139-162
25. Jeng M.D., and DiCesare F. Synthesis using resource control nets for modeling shared-resource system. IEEE Transactions on Robotics and Automation 11 3 (1995) 317-327
26. Jeng M.D., and Xie X.L. Analysis of modularly composed nets by siphons. IEEE Transactions on Systems, Man, and Cybernetics 29 4 (1999) 299-406
27. Jeng M.D., Xie X.L., and Peng M.Y. Process nets with resources for manufacturing modeling and their analysis. IEEE Transactions on Robotics and Automation 18 6 (2002) 875-889
28. Li Z.W., and Zhou M.C. Elementary siphons of Petri net and their application to deadlock prevention for flexible manufacturing systems. IEEE Transactions on Systems, Man and Cybernetics-Part A 34 1 (2004) 38-51
29. Moody J.O., and Antsaklis P.J. Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Transactions on Automatic Control 45 3 (2000) 462-476
30. Mo J.P.T., and Tang B.C.K. Petri net modelling and design of task oriented messaging system for robot control. Computers and Industrial Engineering 34 4 (1998) 729-742
31. Murata T. Petri nets: Properties, analysis and application. Proceedings of IEEE 77 4 (1989) 541-579
32. Park J., and Reveliotis S.A. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automatic Control 46 10 (2001) 1572-1583
33. Park J., and Reveliotis S.A. Policy mixtures: A novel approach for enhancing the operational flexibility of resources allocation systems with alternate routings. IEEE Transactions on Robotics and Automation 18 4 (2002) 616-620
34. PN-tools (1987-1996). A Petri net analysis tool, ver. 1.0. Pedagogical University of Rzesów, Polland, 1987-1996.
35. Ramadge P.J., and Wonham W.M. The control of discrete event systems. Proceedings of IEEE 77 4 (1989) 81-98
36. Reveliotis S.A., and Ferreira P.M. Deadlock avoidance policies for automated manufacturing cells. IEEE Transactions on Robotics and Automation 12 6 (1996) 845-857
37. Reveliotis S.A., and Lawley M. Polynomial complexity deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Automatic Control 42 10 (1997) 1344-1357
38. Scharge L. Optimization modeling with LINGO (2004), Lindo Systems Inc., Chicago, IL
39. Sun T.H., Cheng C.W., and Fu L.C. A Petri net based approach to modeling and scheduling for an FMS and a case study. IEEE Transactions on Industrial Electronics 41 9 (1994) 593-601
40. Tricas F., Colom J.M., and Ezpeleta J. A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. Proceedings of the 11th Europe simulation symposium (1999), Erlangen, Germany 542-546
41. Tricas F., Garci{dotless}́a-Vallés F., Colom J.M., and Ezpeleta J. A structural approach to the problem of deadlock prevention in processes with resources. Proceedings of the 4th workshop on discrete event systems (1998), Sardinia, Italy 273-278
42. Tricas F., Garci{dotless}́a-Vallés F., Colom J.M., and Ezpeleta J. A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. Proceedings of international conference on robotics and automation (2005), Barcelona, Spain 272-278
43. Uzam M. An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with reosurces and the theory of regions. International Journal of Advanced Manufacturing Technology 19 3 (2002) 92-208
44. Uzam M., and Wonham W.M. A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets. International Jounal of Advanced Manufacturing Technology 28 7-8 (2006) 747-760
45. Uzam M., and Zhou M.C. An iterative synthesis approach for Petri-net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics-Part A 37 3 (2007) 362-371
46. Viswanadham N., Narahari Y., and Johnson T.L. Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation 6 6 (1990) 713-723
47. Wu Z.H. Introduction to Petri nets (2005), China Machine Press, Beijing
48. Wysk R.A., Yang N.S., and Joshi S. Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation 7 6 (1991) 853-859
49. Xing K.Y., Hu B.S., and Chen H. Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. IEEE Transactions on Automatic Control 41 2 (1996) 289-295
50. Yamalidou Y., Moody J.O., Antsaklis P.J., and Lemmon M.D. Feedback control of Petri nets based on place invariants. Automatica 32 1 (1996) 15-28
51. Yu H., Reyes A., Cang S., and Lioyd S. Combined Petri net modelling and AI based heustic hybrid search for flexible manufacturing systems - Part 1, Petri net modelling and heuristic search. Computers and Industrial Engineering 44 4 (2003) 527-543
52. Zurawski R., and Zhou M.C. Petri nets and industrial application: A turorial. IEEE Transactions on Industrial Electronics 41 6 (1994) 567-583