Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS

International Journal of Advanced Manufacturing Technology

Volumn 35, Issue 1-2, 2007, Pages 150-168

  Uzam, Murat ^a   Li, Zhiwu ^b   Zhou, Mengchu ^c  

^a NIGDE UNIVERSITY   (Turkey)

^b XIDIAN UNIVERSITY   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Deadlock; Deadlock prevention; Flexible manufacturing systems; Liveness enforcing supervisor; Petri nets (PN); Redundancy test

Indexed keywords

CONTROL SYSTEMS; FLEXIBLE MANUFACTURING SYSTEMS; LARGE SCALE SYSTEMS; PETRI NETS; PROBLEM SOLVING;

DEADLOCK PREVENTION; LIVENESS ENFORCING SUPERVISOR (LES); REDUNDANCY TEST;

REDUNDANCY;

EID: 35348943472     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-006-0701-5     Document Type: Article

References (35)

1. Fanti MP, Zhou MC (2004) Deadlock control methods in automated manufacturing systems. IEEE Trans Syst Man Cybern Part A 34(1):5-22
2. Visvanadham N, Nahari Y, Johnson TL (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans Robot Automat 6(6):713-723
3. Banaszak ZA, Krogh BH (1990) Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Trans Robot Autom 6(6):724-734
4. Tat LY, Gwo-Ji S (1993) Resolving deadlocks in flexible manufacturing cells. J Manuf Syst 12(4):291-307
5. Wysk RA, Neng-Shu Y, Sanjay J (1994) Resolution of deadlocks in flexible manufacturing systems: avoidance and recovery approaches. J Manuf Syst 13(2):128-136
6. Hsieh FS, Chang SC (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Robot Automat 10(2):196-209
7. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Automat 11(2):173-184
8. Cho H, Kumaran TK, WyskR (1995) Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Trans Robot Automat 11(3):413-421
9. Xing K, Hu B, Chen H (1995) Deadlock avoidance policy for flexible manufacturing systems. In: Zhou MC (ed) Petri Nets in Flexible and Agile Automation. Kluwer, Boston, MA, pp 239-263
10. Xing K, Hu B, Chen H (1996) Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Trans Automat Contr 41(2):289-295
11. Fanti MP, Maione B, Mascolo S, Turchiano B (1997) Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans Robot Automat 13(3):347-363
12. Lawley M, Reveliotis S, Ferreira P (1997) Design guidelines for deadlock handling strategies in flexible manufacturing systems. Int J Flex Manuf Syst 9(7):5-29
13. Yim D, Kim J, Woo H (1997) Avoidance of deadlocks in flexible manufacturing systems using a capacity designated directed graph. Int J Product Res 35(9):2459-2475
14. Tricas F, Garcia-Valles F, Colom JM, Ezpelata J (1998) A structural approach to the problem of deadlock prevention in processes with resources. In: Proc WODES'98, Italy, pp 273-278, 26-28 August 1998
15. Lawley M, Reveliotis S, Ferreira P (1998) A correct and scalable deadlock avoidance policy for flexible manufacturing systems. IEEE Trans Robot Automat 14:796-809
16. Abdallah IB, ElMaraghy HA (1998) Deadlock prevention and avoidance in FMS: a petri net based approach. Int J Adv Manuf Tech14 (10):704-715
17. Ferrarini L, Maroni M (1998) Deadlock avoidance control for manufacturing systems with multiple capacity resources. Int J Adv Manuf Tech 14(10):729-736
18. Lawley M (1999) Deadlock avoidance for production systems with flexible routing. IEEE Trans Robot Automat 15(3):497-509
19. Park J, Reveliotis SA (2000) Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans Robot Automat 16(2):190-195
20. Tricas F, Garcia-Valles F, Colom JM, Ezpeleta J (2000) An iterative method for deadlock prevention in FMS. In: Stremersch G (ed) Discrete event systems: analysis and control. Kluwer, Dordrecht, pp 139-148
21. Huang Y, Jeng MD, Xie X,Chung S (2001) Deadlock prevention based on Petri nets and siphons. Int J Prod Res 39(2):283-305
22. Park J, Reveliotis SA (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans Automat Contr 46(10):1572-1583
23. Ezpeleta J, Tricas F, Garcia-Valles F, Colom JM (2002) A banker's solution for deadlock avoidance in FMS with flexible routing and multi resource states. IEEE Trans Robot Autom 18(4):621-625
24. 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 Tech 19(3):192-208
25. Iordache MV, Moody JO, Antsaklis PJ (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Trans Robot Automat 18(1):59-68
26. Uzam M (2004) The use of Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. Int J Adv Manuf Tech 23(3-4):204-219
27. Li Z, Zhou MC (2004) Elementary siphons of petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Trans Robot Syst Man Cybern Part A: Syst Hum 34(1):38-51
28. Li Z, Zhou MC (2004) An effective FMS deadlock prevention policy based on elementary siphons. In: Proc of 2004 IEEE Int Conf Robot Automat pp 3143-3148, New Orleans, LA, May 2004
29. Jeng MD, Xie X, Chung S-L (2004) ERCN*merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems. IEEE Trans Syst Man Cybern 34(1):102-112
30. Li Z, Uzam M, Zhou MC (2004) Comments on "deadlock prevention policy based on Petri nets and siphons". Int J Prod Res 42(24):5253-5254
31. Huang YS, Jeng MD, Xie X, Chung DH (in press) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part-A
32. Uzam M, Zhou MC (in press) An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part-A
33. Uzam M, Zhou MC (2006) An improved iterative synthesis approach for liveness enforcing supervisors of flexible manufacturing systems. Int J Prod Res 44(10):1987-2030
34. Murata T (1989) Petri nets: properties, analysis and application. Proc IEEE 44:541-579
35. INA (31.07.2003) Integrated Net Analyzer, a software tool for analysis of Petri nets, Version 2.2. http://www.informatik.hu-berlin.de/starke/ina.html