Direct minimal empty siphon computation using MIP

International Journal of Advanced Manufacturing Technology

Volumn 45, Issue 3-4, 2009, Pages 397-405

  Chao, Daniel Y ^a  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

Deadlocks; Integer programming; Petri nets; Siphons

Indexed keywords

DEADLOCKS; MINIMAL SIPHONS; MIXED-INTEGER PROGRAMMING; TEST REPORTS;

DYNAMIC PROGRAMMING; GRAPH THEORY; INTEGER PROGRAMMING; PETRI NETS; PLASMA WAVES;

SIPHONS;

EID: 71949099544     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-009-1967-1     Document Type: Article

References (15)

1. IB Abdallah HA EIMaraghy 1998 Deadlock prevention and avoidance in FMS: a Petri net based approach Int J Adv Manuf Technol 14 10 704 715 10.1007/BF01438223 doi:10.1007/BF01438223
2. 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 doi:10.1007/s00170-006-0708-y
3. J Ezpeleta JM Colom J Martinez 1995 A Petri net based deadlock prevention policy for flexible manufacturing systems IEEE Trans Robot Autom 11 173 184 10.1109/70.370500 doi:10.1109/70.370500
4. 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 10.1007/s00170-004-2426-7
5. 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 10.1007/s00170-006-0452-3 (Pubitemid 46959438)
6. 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
7. F Chu XL Xie 1997 Deadlock analysis of Petri nets using siphons and mathematical programming IEEE Trans Robot Autom 13 793 804 10.1109/70.650158
8. ZW Li MC Zhou 2006 Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets IEEE Trans Indust Infor 2 4 313 325 10.1109/TII.2006.885185 (Pubitemid 44837072)
9. ZW Li HS Hu AR Wang 2007 Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets IEEE Trans Sys Man Cyb C 37 4 517 526 10.1109/TSMCC.2007.897333 (Pubitemid 47061954)
10. Li ZW, Hu HS (2008) On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Comput Ind Eng. doi: 10.1016/j.cie.2008.03.013
11. M Uzam ZW Li MC Zhou 2007 Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS Int J Adv Manuf Technol 35 1-2 150 168 10.1007/s00170-006-0701-5 (Pubitemid 47609375)
12. J Park SA Reveliotis 2001 Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings IEEE Trans Automat Contr 46 10 1572 1583 1045.93034 10.1109/9.956052 1858058 (Pubitemid 33018223)
13. YS Huang 2007 Deadlock prevention for sequence resource allocation systems J Inf Sci Eng 23 215 231
14. Chao DY (2008) MIP iteration-reductions for deadlock prevention of flexible manufacturing systems. Int J Adv Manuf Technol. doi: 10.1007/s00170-008-1473-x
15. DY Chao 2007 An incremental approach to extract minimal bad siphons J Inf Sci Eng 23 1 203 214 2322062