Deadlock control of concurrent manufacturing processes sharing finite resources

International Journal of Advanced Manufacturing Technology

Volumn 38, Issue 7-8, 2008, Pages 787-800

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

^a XIDIAN UNIVERSITY   (China)

^b NIGDE UNIVERSITY   (Turkey)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

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

Indexed keywords

CONCURRENCY CONTROL; INDUSTRIAL ENGINEERING; MARINE BIOLOGY; PRODUCTION ENGINEERING;

CONCURRENT EXECUTION; DEADLOCK CONTROL; DEADLOCK CONTROL POLICIES; DEADLOCK PREVENTION; DEPENDENT SIPHON; ELEMENTARY SIPHON; FLEXIBLE MANUFACTURING SYSTEM; MANUFACTURING PROCESSES; PETRI NET; SHARED RESOURCES;

PROCESS CONTROL;

EID: 49649128349     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-007-1125-6     Document Type: Article

References (32)

1. Abdallah IB, ElMaraghy HA (1998) Deadlock prevention and avoidance in FMS: a Petri net based approach. Int J Adv Manuf Tech 14:704-715, Sept.
2. Barkaoui K, Pradat-Peyre JF (1996) On liveness and controlled siphons in Petri nets. In: Proc 17th Int Conf Application and Theory of Petri Nets, Osaka, Japan, June 24-28, 1996, LNCS, vol.1091. New York: Springer, pp 57-72
3. Barkaoui K, Chaoui A, Zouari B (1997) Supervisory control of discrete event systems based on structure theory of Petri nets. In: Proc IEEE Int Conf Syst, Man, Cybern. Orlando, Florida, USA, Oct. 12-15, pp 3750-3755
4. Cho H, Kumaran TK, Wysk RA (1995) Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Trans Robot Automat 11(3), 413-421, June
5. Chu F, Xie XL (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans Robot Automat 13:793-804, Dec
6. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Automat 11:173-184, Apr
7. Ezpeleta J, Tricas F, García-Vallés F, Colom J (2002) A banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states. IEEE Trans Robot Automat 18:621-625, Aug
8. Ezpeleta J, Recalde L (2004) A deadlock avoidance approach for non-sequential resource allocation systems. IEEE Trans Syst Man Cybern A 34:93-101, Jan
9. Fanti MP, Zhou MC (2004) Deadlock control methods in automated manufacturing systems. IEEE Trans Syst Man Cybern 34:5-22, Jan
10. Hsien FS, Chang SC (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Robot Automat 10:196-209, Apr
11. Huang YS, Jeng MD, Xie XL, Chung SL (2001) Deadlock prevention policy based on Petri nets and siphons. Int J Prod Res 39:283-305
12. Jeng MD, Xie XL, Peng MY (2002) Process nets with resources for manufacturing modeling and their analysis. IEEE Trans Robot Automat 18:875-889, Dec
13. *-merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems. IEEE Trans Syst Man Cybern A 34:102-112, Jan
14. Kumaran T, Chang W, Cho H (1994) A structured approach to deadlock detection, avoidance, and resolution in flexible manufacturing systems. Int J Prod Res 32:2361-2379
15. 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 A 34:38-51, Jan
16. Li ZW, Zhou MC (2006) Clarifications on the definitions of elementary siphons of Petri nets. IEEE Trans Syst Man Cybern A 36(6):1227-1229, Nov
17. Li ZW, Zhang J, Zhao M (2007) Liveness-enforcing supervisor design for a class of generalized Petri net models of flexible manufacturing systems," IET Proceedings on Control Theory & Applications 1(4):955-967
18. Li ZW, Zhou MC (2006) Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans. Industrial Informatics 2(4):313-325, Nov
19. Lindo Systems Inc. (2006) http://www.lindo.com
20. Murata T (1989) Petri nets: properties, analysis, and applications. Proc IEEE 77:541-580, Apr
21. Park J, Reveliotis SA (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans Automat Contr 46:1572-1583, Oct
22. Tricas F, Martinez J (1995) An extension of the liveness theory for concurrent sequential processes competing for shared resources. In: Proc IEEE Int Conf Syst Man Cybern Vancouver, BC, Canada, Oct. 22-25, 1995, pp 3035-3040
23. Tricas F, García-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
24. Tricas F, García-Vallès F, Colom JM, Ezpeleta J (1997) A partial approach to the problem of deadlocks in processes with resources," technical report, GISI-RR-97-05, Universidad de Zaragoza, Spain
25. 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:192-208
26. Uzam M, Zhou MC (2004) Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems. In: Proc IEEE Int Conf Syst Man Cybern. The Hague, The Netherlands, Oct. 10-13, pp 4260-4265
27. Uzam M, Zhou MC (2006) An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. Int J Prod Res 44:1987-2030
28. Viswanadham N, Narahari Y, Johnson T (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans Robot Automat 6:713-723, Dec
29. Wysk RA, Yang NS, Joshi S (1991) Detection of deadlocks in flexible manufacturing systems. IEEE Trans Robot Automat 7:853-859, Dec
30. Xie XL, Jeng MD (1999) ERCN-merged nets and their analysis using siphons. IEEE Trans Robot Automat 15:692-703, Aug
31. Zhou MC, Venkatesh K (1998) Modelling, simulation and control of flexible manufacturing systems: a petri net approach. World Scientific, Singapore
32. Zouari B, Barkaoui K (2003) Parameterized supervisor synthesis for a modular class of discrete event systems. In: Proc. IEEE Int Conf Syst Man Cybern. Washington, DC, USA., Oct. 5-8, pp 1874-1879