A live subclass of petri nets and their application in modeling flexible manufacturing systems

International Journal of Advanced Manufacturing Technology

Volumn 41, Issue 1-2, 2009, Pages 66-74

  Liu, Guan Jun ^a   Jiang, Chang Jun ^a   Wu, Zhe Hui ^b   Chen, Li Jing ^b  

^a TONGJI UNIVERSITY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Buffer; Deadlock; Flexible manufacturing systems; Marked graph; Minimal siphon; Petri net

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; SIPHONS;

BUFFER; DEADLOCK; MARKED GRAPH; MINIMAL SIPHON; PETRI NET;

FLEXIBLE MANUFACTURING SYSTEMS;

EID: 60949085988     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-008-1457-x     Document Type: Article

References (28)

1. T Murata 1989 Petri nets: properties, analysis, and applications Proc IEEE 77 541 580
2. Girault C, Valk R (2003) Petri nets for systems engineering-a guide to modeling, verification, and applications. Springer, Berlin
3. R Bouyekhf AE Moudni 2005 On the analysis of some structural properties of Petri nets IEEE Trans Sys Man Cybern A 35 784 794
4. J Ezpeleta JM Colom J Martinez 1995 A Petri net based deadlock prevention policy for flexible manufacturing systems IEEE Trans Robot Automat 11 173 184
5. 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 A 34 38 51
6. N Viswanadham Y Narahari T Johnson 1990 Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models IEEE Trans Robot Automat 6 713 723
7. TK Kumaran W Chang H Cho RA Wysk 1994 A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems Int J Prod Res 32 2361 2379
8. RA Wysk NS Yang S Joshi 1991 Detection of deadlocks in flexible manufacturing systems IEEE Trans Robot Automat 7 853 859
9. MC Zhou F DiCesare AA Desrochers 1992 A hybrid methodology for synthesis of Petri nets for manufacturing systems IEEE Trans Robot Automat 8 350 361
10. J Park SA Reveliotis 2002 Liveness enforcing supervision of resource allocation systems with uncontrollable behavior and forbidden states IEEE Trans Robot Automat 18 234 239
11. MD Jeng XL Xie MY Peng 2002 Process nets with resources for manufacturing modeling and their analysis IEEE Trans Robot Automat 18 875 889
12. KY Xing BS Hu HX Chen 1996 Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources IEEE Trans Automat Contr 41 289 295
13. NQ Wu MC Zhou 2001 Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems IEEE Trans Robot Automat 17 658 669
14. ZA Banaszak BH Krogh 1990 Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows IEEE Trans Robot Automat 6 724 734
15. 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 24 35
16. IB Abdallah H ElMaraghy 1998 Deadlock prevention and avoidance in FMS: a Petri net based approach Int J Adv Manuf Technol 14 704 715
17. SA Reveliotis 2007 Implicit siphon control and its role in the liveness-enforcing supervision of sequential resource allocation systems IEEE Trans Syst Man Cybern A 37 319 328
18. 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
19. 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
20. YS Huang 2007 Design of deadlock prevention supervisors using Petri nets Int J Adv Manuf Technol 35 349 362
21. Tricas F, Garcia-Vallès F, Colom JM, Ezpeleta J (1998) A structural approach to the problem of deadlock prevention in processes with resources. In Proc WODES'98, Italy, Aug. 26-28, pp 273-278
22. Barkaoui K, Abdallah IB (1996) Analysis of a resource allocation problem in FMS using structure theory of Petri nets. In Proc Fist International Workshop on Manufacturing and Petri Nets, Osaka, Japan, Jun. pp 1-15
23. Li ZW, Uzam M, Zhou MC (2007) Deadlock control of concurrent manufacturing processes sharing finite resources. Int J Adv Manuf Technol
24. L Ferrarini M Maroni 1998 Deadlock avoidance control for manufacturing systems with multiple capacity resources Int J Adv Manuf Technol 14 729 736
25. H-H Huang 2001 Matrix controller design and deadlock analysis of automated manufacturing systems. Part 2: deadlock avoidance policy Int J Adv Manuf Technol 18 490 501
26. ZD Han G Lee 2005 Application of Petri nets for deadlock analysis and avoidance in flexible manufacturing systems Int J Adv Manuf Technol 25 735 742
27. A Taubin A Kondratyev M Kishinevsky 1998 Deadlock prevention using Petri nets and their unfoldings Int J Adv Manuf Technol 14 750 759
28. PL Wang ZH Wu 1993 Conditions for directly deciding fair nets Chinese Journal of Computers 16 53 58