Enhancement of an efficient control policy for FMSs using the theory of regions and selective siphon method

International Journal of Advanced Manufacturing Technology

Volumn 66, Issue 9-12, 2013, Pages 1805-1815

  Pan, Yen Liang ^a   Huang, Yi Sheng ^b   Jeng, Muder ^c   Chung, Sheng Luen ^d  

^a DEPARTMENT OF ELECTRONIC ENGINEERING   (Taiwan)

^b NATIONAL ILAN UNIVERSITY   (Taiwan)

^c NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

^d NATIONAL TAIWAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Taiwan)

Author keywords

Deadlock prevention; Flexible manufacturing system; Petri nets; The theory of regions

Indexed keywords

COMPUTATIONAL COSTS; DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; EFFICIENT CONTROL; PERMISSIVE CONTROLLERS; PETRI NET MODELS; RESOURCE ALLOCATION SYSTEMS; THEORY OF REGIONS;

FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS;

SIPHONS;

EID: 84879081249     PISSN: 02683768     EISSN: 14333015     Source Type: Journal    
DOI: 10.1007/s00170-012-4460-1     Document Type: Article

References (44)

1. Hu H, Li Z (2009) Modeling and scheduling for manufacturing grid workflows using timed Petri nets. Int J Adv Manuf Technol 42(5-6):553-568
2. Tuncel G (2012) An integrated modeling approach for shop-floor scheduling and control problem of flexible manufacturing systems. Int J Adv Manuf Technol 59(9-12):1127-1142
3. Burnwal S, Deb S (2012) Scheduling optimization of flexible manufacturing system using cuckoo search-based approach. Int J Adv Manuf Technol. doi: 10.1007/s00170-012-4061-z
4. Huang B, Shi XX, Xu N (2012) Scheduling FMS with alternative routings using Petri nets and near admissible heuristic search. Int J Adv Manuf Technol. doi: 10.1007/s00170-012-3958-x
5. Abrishambaf R, Hashemipour M, Bal M (2012) Structural modeling of industrial wireless sensor and actuator networks for reconfigurable mechatronic systems. Int J Adv Manuf Technol. doi: 10.1007/s00170-012-4070-y
6. Ezpeleta J, Colom JM, Martinez J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 1:173-184
7. 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
8. Li ZW, Zhou MC (2006) Clarifications on the definitions of elementary siphons in Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 36(6):1227-1229
9. Huang YS, Jeng MD, Xie XL, Chung TH (2006) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A Syst Humams 36(6):2152-2160
10. Huang YS (2007) Deadlock prevention for flexible manufacturing systems in sequence allocation systems. J Inf Sci Eng 23(1):215-231
11. Huang YS (2007) Design of deadlock prevention supervisors for FMS using Petri nets. Int J Adv Manuf Technol 35(3-4):349-362
12. Li ZW, Hu HS, Wang AR (2007) Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets. IEEE Trans Syst Man Cybern Part C Appl Rev 37(4):517-526
13. Lautenbach K, Ridder H (1996) The linear algebra of deadlock avoidance - a Petri net approach. Research Report, University of Koblenz, Institute for Computer Science, Koblenz, Germany
14. Iordache MV, Moody JO, Antsaklis PJ (2001) A method for the synthesis liveness enforcing supervisors in Petri nets. In Proceedings of the American Control Conference pp 4943-4948
15. Park J, Reveliotis SA (2000) Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems. IEEE Trans Robot Autom 16(2):190-195
16. 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 Syst Human 34(1):38-51
17. Li ZW, Zhou MC (2008) Control of elementary and dependent siphons in Petri nets and their application. IEEE Trans Syst Man Cybern Part A Syst Humans 38(1):133-148
18. Li ZW, Zhao M (2008) On controllability of dependent siphons for deadlock prevention in generalized Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 38(2):369-384
19. Cho H, Kumaran TK, Wysk RA (2000) Graph-theoretic deadlock detection and resolution for flexible manufacturing systems. IEEE Trans Robot Autom 11(2):190-195
20. 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(3):192-208
21. Uzam M (2004) Synthesis of feedback control elements for discrete event system using Petri net models and theory of regions. Int J Adv Manuf Technol 24(1-2):48-69
22. 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(3-4):204-219
23. Uzam M, Zhou MC (2007) An iterative synthesis approach Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern A Syst Human 37(3):362-371
24. Li ZW, Wang A, Lin H (2004) A deadlock prevention approach for FMS using siphon and the theory of regions. IEEE International Conference on System, Man, and Cybernetics pp. 5079-5084
25. Ghaffari A, Rezg N, Xie XL (2003) Design of a live and maximally permissive Petri net controller using the theory of regions. IEEE Trans Robot Autom 19(1):137-142
26. Ghaffari A, Rezg N, Xie XL (2003) Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system. IEEE Trans Automat Contr 18(1):18-29
27. Huang YS, Pan YL (2009) Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems. Int J Adv Manuf Technol 48:725-737
28. Huang YS, Pan YL, and Jeng MD (2009) An efficient liveness enforcing supervisor for FMSs based on Petri nets and the theory of regions. Proceedings of the 2009 IEEE International Conference on Systems, Man, and Cybernetics San Antonio, TX, USA pp. 187-192
29. Huang YS, Pan YL (2011) An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach. IET Control Theory Appl 5(9):1069-1078
30. Badouel E, Bernardinello L, Darondeau P (1995) Polynomial algorithms for the synthesis of bounded nets. In Proceedings of CAAP 95, vol. 915 of Lecture Notes in Computer Science pp 647-679
31. Badouel E, Darondeau P (1998) Theory of regions. Third advance course on Petri nets. Springer, Heidelberg
32. Ehrenfeucht A, Rozenberg G (1990) Partial (set) 2-structures, parts I-II. Acta Inform 27:315-368
33. Badouel E, Darondeau P (1996) On the synthesis of general Petri nets. INRIA Research Report No: 3025
34. Murata GT (1989) Petri nets: properties, analysis and applications. Proc IEEE 77:541-580
35. Li ZW, Zhou MC, Jeng MD (2008) A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the Theory of Regions. IEEE Tran Autom Sci Eng 5(1):182-188
36. Wei N, Li ZW (2008) On the suboptimal liveness-enforcing supervisors based on Petri net structural analysis and the theory of regions. Int J Adv Manuf Technol 38:195-204
37. Li ZW, Zhou MC, Wu NQ (2008) A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part C Appl Rev 38(2):173-188
38. Piroddi L, Cordone R, Fumagalli I (2008) Selective siphon control for deadlock prevention in Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 38(6):1337-1348
39. Piroddi L, Cordone R, Fumagalli I (2009) Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans 39(3):650-661
40. Huang YS, Pan YL, Jeng MD and Chang PL (2010) Enhancement of an deadlock prevention policy for FMSs using theory of regions. IEEE International Conference on System, Man, and Cybernetics pp. 304-309
41. Huang YS, Pan YL, Zhou MC (2012) Computationally improved optimal deadlock control policy for flexible manufacturing systems. IEEE Trans Syst Man Cybern Part A Syst Humans 42(2):404-415
42. Ramadge PJ, Wonham WM (1989) The control of discrete event systems. Proc IEEE 77:81-98
43. Abdallah IB, ElMaraghy HA (1998) Deadlock prevention and avoidance in FMS: a petri net based approach. Int J Adv Manuf Technol 14:704-715
44. A Petri net analysis tool, Software version 1.0 (1996) Pedagogical University of Rzesów, Polland