Efficient deadlock prevention policy in automated manufacturing systems using exhausted resources

International Journal of Advanced Manufacturing Technology

Volumn 40, Issue 5-6, 2009, Pages 566-571

  Hu, Hesuan ^a   Li, Zhiwu ^a  

^a XIDIAN UNIVERSITY   (China)

Author keywords

Automated manufacturing systems; Exhausted resources; Mixed integer programming; Petri nets

Indexed keywords

AUTOMATION; DENSE WAVELENGTH DIVISION MULTIPLEXING; DYNAMIC PROGRAMMING; GRAPH THEORY; MANUFACTURE; MARINE BIOLOGY; PETRI NETS; PRODUCTION ENGINEERING; PROGRAMMING THEORY;

AUTOMATED MANUFACTURING SYSTEMS; DEADLOCK PREVENTION POLICIES; EFFICIENT IMPLEMENTATIONS; EXHAUSTED RESOURCES; LIVENESS; MIXED INTEGER PROGRAMMING; SHARED RESOURCES; SPECIAL STRUCTURES;

INTEGER PROGRAMMING;

EID: 59749103527     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-007-1366-4     Document Type: Article

References (17)

1. J Ezpeleta JM Colom J Martinez 1995 A Petri net-based deadlock prevention policy for flexible manufacturing systems IEEE Trans Robot Autom 11 2 173 184
2. N Viswanadham Y Narahari TL Johnson 1990 Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models IEEE Trans Robot Autom 6 6 713 723
3. Y Yamalidou JO Moody PJ Antsaklis MD Lemmon 1996 Feedback control of Petri nets based on place invariants Antomatica 32 1 15 28
4. JO Moody PJ Antsaklis 2000 Petri net supervisors for DES with uncontrollable and unobservable transitions IEEE Trans Automat Contr 45 3 462 476
5. J Park S Reveliotis 2001 Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings IEEE Trans Automat Contr 46 10 1572 1583
6. F Chu XL Xie 1997 Deadlock analysis of Petri nets using siphons and mathematical programming IEEE Trans Robot Autom 13 6 793 804
7. M Uzam 2002 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 19 3 192 208
8. M Uzam WM Wonham 2006 A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets Int J Adv Manuf Technol 28 7-8 747 760
9. M Uzam 2004 The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems Int J Adv Manuf Technol 23 3-4 204 219
10. M Uzam MC Zhou 2006 An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems Int J Prod Res 44 10 1987 2030
11. ZW Li N Wei 2007 Deadlock control of flexible manufacturing systems via invariant-controlled elementary siphons of Petri nets Int J Adv Manuf Technol 33 1-2 24 35
12. ZW Li MC Zhou 2004 Elementary siphons of Petri net and their application to deadlock prevention for flexible manufacturing systems IEEE Trans Syst Man Cybern Part A 34 1 38 51
13. ZW Li MC Zhou 2006 Clarifications on the definitions of elementary siphons of Petri nets IEEE Trans Syst Man Cybern Part A 36 6 1277 1279
14. ZW Li MC Zhou 2006 Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets IEEE Transactions on Industrial Informatics 2 4 313 325
15. IB Abdallah HA ElMaraghy 1998 Deadlock prevention and avoidance in FMS: a Petri net-based approach Int J Adv Manuf Technol 14 10 704 715
16. 2' IET Proceedings Control Theory and Applications 1 4 933 936
17. Tricas F, García-Vallés F, Colom JM, Ezpeleta J (2005) A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. Proceedings of International Conference on Robotics and Automation, pp 272-278