Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems

International Journal of Advanced Manufacturing Technology

Volumn 48, Issue 5-8, 2010, Pages 725-737

  Huang, Yi Sheng ^a   Pan, Yen Liang ^a  

^a NATIONAL DEFENSE UNIVERSITY   (Taiwan)

Author keywords

Deadlock prevention; Flexible manufacturing system; Petri nets

Indexed keywords

COMPUTATION COSTS; CONTROL POLICY; DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; DEADLOCK PROBLEMS; EFFICIENT ALGORITHM; EFFICIENT COMPUTATION; EFFICIENT CONTROL; LIVENESS-ENFORCING SUPERVISOR; MANUFACTURE SYSTEM; OPTIMAL POLICIES; THEORY OF REGIONS;

ALGORITHMS; COMPUTATIONAL EFFICIENCY; GRAPH THEORY; PETRI NETS; SUPERVISORY PERSONNEL;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 77953581295     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-009-2299-x     Document Type: Article

References (32)

1. Barkaoui K, Abdallah IB (1995) Deadlock avoidance in FMS based on structural theory of Petri nets. In Proceedings of the IEEE Symposium on Emerging Technologies for Factory Automation pp 499-510
2. J Ezpeleta JM Colom J Martinez 1995 A Petri net based deadlock prevention policy for flexible manufacturing systems IEEE Trans Robot Autom 1 173 184 10.1109/70.370500
3. YS Huang MD Jeng XL Xie SL Chung 2001 A deadlock prevention policy based on Petri nets and siphons Int J Prod Res 39 283 305 1017.90507 10.1080/00207540110040466 (Pubitemid 35165579)
4. YS Huang MD Jeng XL Xie TH Chung 2006 Siphon-based deadlock prevention policy for flexible manufacturing systems IEEE Trans Syst Man Cybern Part A Syst Humans 36 6 2152 2160 10.1109/TSMCA.2006.878953 (Pubitemid 44680571)
5. YS Huang 2007 Design of deadlock prevention supervisors for FMS using Petri nets Int J Adv Manuf Technol 35 3-4 349 362 10.1007/s00170-006-0708-y
6. ZW Li HS Hu AR Wang 2007 Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets IEEE Trans Syst Man Cybern Part C Appl Rev 37 4 517 526 10.1109/TSMCC.2007.897333 (Pubitemid 47061954)
7. Lautenbach K, Ridder H (1996) The linear algebra of deadlock avoidance-a Petri net approach. Research Report, University of Koblenz, Institute for Computer Science, Koblenz, Germany
8. Iordache MV, Moody JO, Antsaklis PJ (2001) A method for the synthesis liveness enforcing supervisors in Petri nets. In Proceedings of the American Control Conference pp 4943-4948
9. J Park SA Reveliotis 2000 Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems IEEE Trans Robot Autom 16 2 190 195 10.1109/70.843175
10. ZW Li MC Zhou 2004 Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems IEEE Trans Syst Man Cybern Part A Syst Humans 34 1 38 51 10.1109/TSMCA.2003.820576
11. Badouel E, Bernardinello L, Darondeau P (1995) Polynomial algorithms for the synthesis of bounded nets. In Proceedings of CAAP 95, vol. 915 of Lecture Notes in Computer Science pp 647-679
12. 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 192 208
13. 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 204 219 10.1007/s00170-002-1526-5
14. M Uzam 2004 Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions Int J Adv Manuf Technol 24 48 69
15. Reveliotis SA, Choi JY (2006) Designing reversibility-enforcing supervisors of polynomial complexity for bounded Petri nets through the theory of regions. Petri nets and other models of concurrency. ICATPN 2006 Lecture Notes in Computer Science pp 322-341
16. Badouel E, Darondeau P (1998) Theory of regions. Third advance course on Petri nets. Springer-Verlag, Heidelberg
17. J Cortadella M Kishinevsky L Lavagno A Yakovlev 1998 Deriving Petri nets from finite transition systems IEEE Trans Comput 47 8 859 882 10.1109/12.707587 1645386
18. Cortadella J, Kishinevsky M, Lavagno L, Yakovlev A (1996) Deriving Petri nets from finite transition systems. Technical Report UPC-DAC-1996-19, Dept. of Computer Architecture, Universitat Politècnica de Catalunya, ftp://ftp.ac.upc.es/pub/reports/DAC/1996/UPC-DAC-1996-19.ps.Z
19. A Ehrenfeucht G Rozenberg 1990 Partial (Set) 2-structures, Parts I- II Acta Inform 27 315 368 0696.68082 10.1007/BF00264611 1045460
20. M Nielsen G Rozenberg PS Thiagarajan 1992 Elementary transition systems Theor Comp Sci 96 3 33 0759.68022 10.1016/0304-3975(92)90180-N 1158712
21. Bernardinello L, Michelis GD, Petruni K, Bigna S (1995) On synchronic structure of transition systems. Proceedings of the International Workshop Structures in Concurrency Theory (STRICT) pp 69-84
22. J Desel W Reisig 1996 The synthesis problem of Petri nets Acta Inform 33 4 297 315 10.1007/s002360050046 1395200 (Pubitemid 126083750)
23. M Mukund 1992 Petri nets and step transition systems Int J Found Comput Sci 3 4 443 478 0774.68086 10.1142/S0129054192000231 1209556
24. A Ghaffari N Rezg XL Xie 2003 Design of a live and maximally permissive Petri net controller using the theory of regions IEEE Trans Robot Autom 19 1 137 142 10.1109/TRA.2002.807555 1950309
25. M Uzam MC Zhou 2007 An iterative synthesis approach Petri net-based deadlock prevention policy for flexible manufacturing systems IEEE Trans Syst Man Cybern Part A Syst Humans 37 3 362 371 10.1109/TSMCA.2007.893484 (Pubitemid 46621522)
26. ZW Li MC Zhou NQ Wu 2008 A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems IEEE Trans Syst Man Cybern Part C Appl Rev 38 2 173 188 05629807 10.1109/TSMCC.2007.913920 (Pubitemid 351404113)
27. ZW Li MC Zhou MD Jeng 2008 A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions IEEE Trans Autom Sci Eng 5 1 182 188 10.1109/TASE.2006.884674
28. GT Murata 1989 Petri nets: properties, analysis and applications Proc IEEE 77 541 580 10.1109/5.24143
29. MC Zhou MD Jeng 1998 Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: a Petri net approach IEEE Trans Semicond Manuf 11 3 333 357 10.1109/66.705370
30. PJ Ramadge WM Wonham 1989 The control of discrete event systems Proc IEEE 77 81 98 10.1109/5.21072
31. ZW Li A Wang H Lin 2004 A deadlock prevention approach for FMS using siphon and the theory of regions IEEE Trans Syst Man Cybern 6 5079 5084 (Pubitemid 40408146)
32. IB Abdallah HA ElMaraghy 1998 Deadlock prevention and avoidance in FMS: a Petri net based approach Int J Adv Manuf Technol 14 704 715 10.1007/BF01438223