Design of deadlock prevention supervisors using Petri nets

International Journal of Advanced Manufacturing Technology

Volumn 35, Issue 3-4, 2007, Pages 349-362

  Huang, Yi Sheng ^a  

^a NATIONAL DEFENSE UNIVERSITY   (Taiwan)

Author keywords

Deadlock prevention; Elementary siphon; Flexible manufacturing system; Petri net

Indexed keywords

FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; RESOURCE ALLOCATION; SYSTEMS ANALYSIS;

DEADLOCK PREVENTION; ELEMENTARY SIPHON; MINIMAL SIPHONS;

PETRI NETS;

EID: 38349134542     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-006-0708-y     Document Type: Article

References (29)

1. Barkaoui K, Abdallah IB (1995) Deadlock avoidance in FMS based on structural theory of Petri nets. Proc. INRIA/IEEE Symp. Emerging Technologies for Factory Automation, Paris, France, pp 499-510, IEEE, Piscataway, New Jersey
2. Banaszak Z, Krogh BH (1990) Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans Robot Autom 6:724-734
3. Chu F, Xie XL (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans Robot Autom 13:793-804
4. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11:173-184
5. Ezpeleta J, Recalde L (2004) A deadlock avoidance approach for non sequential resource allocation systems. IEEE Trans Syst Man Cybern A 34:93-101
6. Ezpeleta J, Tricas F, Garc'ia-Vall'es F, Colom J (2002) A banker's solution for deadlock avoidance in FMS with flexible routing and multisource states. IEEE Trans Robot Autom 18:621-625
7. Fanti MP, Maione G, Mascolo S, Turchiano B (1997) Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans Robot Autom 13:347-363
8. Huang YS, Jeng MD, Xie XL, Chung SL (2001) A deadlock prevention policy based on Petri nets and siphons. Int J Prod Res 39:283-305
9. Huang YS, Jeng MD, Xie XL, Chung TH (2007) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern
10. Huang YS (2007) Deadlock prevention for flexible manufacturing systems in sequence resource allocation systems. J Inf Sci Eng 23(1)
11. Iordache MV, Moody JO, Antsaklis PJ (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans Robot Autom 18:59-68
12. Iordache MV, Moody JO, Antsaklis PJ (2001) A method for the synthesis liveness enforcing supervisors in Petri nets. In Proc Am. Control Conf, Arlington, VA, pp 4943-4948, IEEE, Piscataway, New Jersey
13. Iordache MV, Antsaklis PJ (2003) Design of T-liveness enforcing supervisors in Petri nets. IEEE Trans Autom Control 48:1962-1974
14. Jeng MD, Xie XL (1999) Analysis of modularly composed nets by siphons. IEEE Trans Syst Man Cybern Part A 29:399-406
15. Jeng MD, Peng MY, Huang YS (1999) An algorithm for calculating minimal siphons and traps of Petri nets. Int J Intell Control Syst 3:263-275
16. Lautenbach K, Ridder H (1996) The linear algebra of deadlock avoidance-A Petri net approach. Univ. Koblenz, Res. Insti. Comput. Sci., Koblenz, Germany
17. Li ZW, Zhou MC (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A 34:38-51
18. Li ZW, Hu HS, Wang AR (2006) Design of liveness-enfircing supervisors for flexible manufacturing systems using Petri nets. To appear in the 2006 IEEE Trans on Syst Man Cybern, part C, the special issues on "Applications of Petri nets"
19. Li ZW, Uzam M, Zhou MC (2004) Comments on deadlock prevention policy based on Petri nets and siphons. Int J Prod Res 42:5253-5254
20. Park J, Reveliotis SA (2000) Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans Robot Autom 16:190-195
21. Park J, Reveliotis S (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans Robot Autom 46:1572-1583
22. Reveliotis SA (2003) On the siphon-based characterization of liveness in sequential resource allocation systems. Lecture Notes Compute Sci 2679:241-255
23. Murata T (1989) Petri nets: properties, analysis and application. In: Proc IEEE 77:541-580
24. Tricas F, Garcia-Valles F, Colom JM, Ezpeleta J (1998) A structural approach to the problem of deadlock prevention in processes with resources. Proc 4th Workshop on Discrete Event Systems, Cagliari, Italy, pp 272-278, IEEE, Piscataway, New Jersey
25. Viswanadham N, Narahari Y, Johnson TL (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans Robot Autom 6:713-723
26. Uzam M (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
27. Uzam M (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
28. Wysk RA, Yang NS, Joshi S (1991) Detection of deadlocks in flexible manufacturing systems. IEEE Trans Robot Automat 7:853-859
29. Xie XL, Jeng MD (1999) ERCN-merged nets and their analysis using siphons. IEEE Trans Robot Automat 15:692-703