Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons

Journal of Intelligent Manufacturing

Volumn 24, Issue 6, 2013, Pages 1157-1173

  Li, Shao Yong ^a   An, Ai Min ^a   Wang, Ying ^a   Wang, Gang ^a   Hou, Cai Qin ^a   Cai, Ying ^a  

^a LANZHOU UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

Control place (CP); Deadlock prevention; Flexible manufacturing system (FMS); Petri net; Siphon

Indexed keywords

COMPLEMENTARY SETS; CONTROL PLACE; DEADLOCK DETECTION; DEADLOCK PREVENTION; DEADLOCK PREVENTION POLICY; DEADLOCK-FREE OPERATIONS; LIVENESS-ENFORCING SUPERVISOR; MIXED INTEGER PROGRAMMING (MIP);

FLEXIBLE MANUFACTURING SYSTEMS; ITERATIVE METHODS; PETRI NETS; SUPERVISORY PERSONNEL;

SIPHONS;

EID: 84888642479     PISSN: 09565515     EISSN: 15728145     Source Type: Journal    
DOI: 10.1007/s10845-012-0647-4     Document Type: Article

References (53)

1. Abdallah I. B.; Elmaraghy H. A. (1998) Deadlock prevention and avoidance in FMS: A Petri net based approach. International Journal of Advanced Manufacturing Technology 14(10): 704-715
2. Bae H. Y.; Choi L.; Park T. J.; Ryu K. R. (2011) Comparison of operations of AGVs and ALVs in an automated container terminal. Journal of Intelligent Manufacturing 22(3): 413-426
3. Barkaoui, K.; Peyre, J. F. (1996). On liveness and controlled siphons in Petri nets. Proceedings of the 17th International Conference on Application and Theory of Petri Nets (pp. 57-72). Osaka, Japan.
4. Burdett R. L.; Kozan E. (2008) Analysing the performance of an automated pathology specimen handling system. Journal of Intelligent Manufacturing 19(2): 175-189
5. Chao D. Y. (2006) Computation of elementary siphons for deadlock control. The Computer Journal 49(4): 470-479
6. 2. Journal of Information Science and Engineering 23(3): 853-867
7. 3PR. Journal of Information Science and Engineering 23(6): 1817-1831
8. 2. IET Control Theory & Applications 1(4): 933-936
9. Chao D. Y. (2009a) Direct minimal empty siphon computation using MIP. International Journal of Advanced Manufacturing Technology 45: 397-405
10. 3PR). Journal of Information Science and Engineering 25(6): 1963-1978
11. 3PR. Journal of Information Science and Engineering 26(3): 1121-1136
12. Chu F.; Xie X. L. (1997) Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation: Part A 13(6): 793-804
13. Ezpeleta J.; Colom J. M.; Martinez J. (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation 11(2): 173-184
14. Ezpeleta, J.; García-Vallés, F.; Colom, J. M. (1998). A class of well structured Petri nets for flexible manufacturing systems. Proceedings of the 19th International Conference on Application and Theory of Petri Nets (pp. 64-83). Lisbon, Portugal.
15. Fanti M. P.; Zhou M. C. (2004) Deadlock control methods in automated manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 34(1): 5-22
16. García-Vallés, F.; Colom, J. M. (1999). Implicit places in net systems. Proceedings of the 8th International Workshop on Petri Nets and Performance Models (pp. 104-113). Zaragoza, Spain.
17. Gligor V.; Shattuck S. (1980) On deadlock detection in distributed systems. IEEE Transactions on Software Engineering 7(3): 320-336
18. Hsieh F. S.; Chang S. C. (1994) Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems. IEEE Trans Transactions on Robotics and Automation 10(2): 196-209
19. Hu H. S.; Li Z. W. (2010) Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. Journal of Intelligent Manufacturing 21(4): 555-567
20. Huang Y. S.; Jeng M. D.; Xie X. L.; Chung S. L. (2001) Deadlock prevention policy based on Petri nets and siphons. International Journal of Production Research 39(2): 283-305
21. Huang, Y. S.; Lin, J. H.; Hsu, C. N. (2004). Comparison of deadlock prevention policies in FMS based on Petri nets siphons. 2004 IEEE International Conference on Systems, Man, and Cybernetics (pp. 4867-4872). Hague, Netherlands.
22. Huang Y. S.; Jeng M. D.; Xie X. L.; Chung D. H. (2006) Siphon-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 36(6): 1248-1256
23. Iordache M. V.; Moody J. O.; Antsaklis P. J. (2002) Synthesis of deadlock prevention supervisors using Petri nets. IEEE Transactions on Robotics and Automation 18(1): 59-68
24. Lautenbach K. (1987) Linear algebraic calculation of deadlocks and traps: Concurrency and nets. Springer, New York, NY, pp 315-336
25. Li Z. W.; Zhou M. C. (2004) Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 34(1): 38-51
26. Li Z. W.; Liu D. (2007) A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net. International Journal of Production Research 45(9): 2161-2165
27. Li Z. W.; Zhou M. C. (2008) On siphon computation for deadlock control in a class of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A 38(3): 667-679
28. Li Z. W.; Hu H. S. (2009) On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Computers & Industrial Engineering 56(1): 53-62
29. Li Z. W.; Zhou M. C. (2009) Deadlock resolution in automated manufacturing systems (1st ed.). Springer, London
30. Msanjila S. S.; Afsarmanesh H. (2010) FETR: A framework to establish trust relationships among organizations in VBEs. Journal of Intelligent Manufacturing 21: 251-265
31. Park J.; Reveliotis S. A. (2000) Algebraic synthesis of effcient deadlock avoidance policies for sequential resource allocation systems. IEEE Transactions on Robotics and Automation 16(2): 190-195
32. Park J.; Reveliotis S. A. (2001) Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Transactions on Automation Control 46(10): 1572-1583
33. Park J. H.; Kim H. J.; Li C. L. (2009) Ubiquitous software controller to prevent deadlocks for automated guided vehicle systems in a container port terminal environment. Journal of Intelligent Manufacturing 20(3): 321-325
34. Paul V. S.; Hendrik V. B. (2003) Deadlock avoidance in flexible flow shops with loops. Journal of Intelligent Manufacturing 14: 137-144
35. Piroddi L.; Cordone R.; Fumagalli I. (2008) Selective siphon control for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A 38(6): 1337-1348
36. Piroddi L.; Cordone R.; Fumagalli I. (2009) Combined siphon and marking generation for deadlock prevention in Petri nets. IEEE Transactions on Systems, Man, and Cybernetics: Part A 39(3): 650-661
37. Saitou K.; Malpathak S.; Qvam H. (2002) Ruobust design of flexible manufacturing systemss using colored Petri net and genetic algorithm. Journal of Intelligent Manufacturing 13: 339-351
38. Tricas, F.; Vallès, F. G.; Colom, J. M.; Ezpeleta, J. (2005). A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. Proceedings of the 2005 IEEE International Conference on Robotics and Automation (pp. 271-277). Barcelona, Spain.
39. Tsinarekis G. J.; Tsourveloudis N. C.; Valavanis K. P. (2005) Modular Petri net based modeling, analysis, synthesis, and performance evaluation of random toplogy dedicated production systems. Journal of Intelligent Manufacturing 16(1): 67-92
40. Uzam M. (2004) The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems. International Journal of Advanced Manufacturing Technology 23: 204-219
41. Uzam M.; Zhou M. C. (2006) An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems. International Journal of Production Research 44(10): 1987-2030
42. Uzam M.; Zhou M. C. (2007) An iterative synthesis approach to Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics: Part A 37(3): 362-371
43. Uzam M.; Li Z. W.; Zhou M. C. (2007) Identification and elimination of redundant control places in petri net based liveness enforcing supervisors of FMS. International Journal of Advanced Manufacturing Technology 35: 150-168
44. Viswanadham N.; Narahari Y.; Johnson T. L. (1990) Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Transactions on Robotics and Automation 6(6): 713-723
45. Wu N. Q.; Zhou M. C. (2001) Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems. IEEE Transactions on Robotics and Automation 17(5): 657-668
46. Wu N. Q.; Zhou M. C. (2005) Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles. IEEE Transactions on Systems, Man, and Cybernetics: Part B 35(6): 1193-1202
47. Wysk R. A.; Yang N. S.; Joshi S. (1991) Detection of deadlocks in flexible manufacturing cells. IEEE Transactions on Robotics and Automation 7(6): 853-859
48. Xie X. L.; Jeng M. D. (1999) ERCN-merged nets and their analysis using siphons. IIEEE Transactions on Robotics and Automation 15(4): 692-703
49. Xing K. Y.; Hu B. S.; Chen H. X. (1996) Deadlock avoidance policy for Petri-net modelling of flexible manufacturing systems with shared resources. IEEE Transactions on Automation Control 41(2): 289-295
50. Zhou M. C.; DiCesare F. (1991) Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources. IEEE Transactions on Robotics and Automation 7(4): 515-527
51. Zhou M. C.; DiCesare F.; Desrochers A. A. (1992a) A Hybrid Methodology for synthesis of Petri nets for manufacturing systems. IEEE Transactions on Robotics and Automation 8(3): 350-361
52. Zhou M. C.; DiCesare F.; Rudolph D. (1992b) Design and implementation of a Petri net based supervisor for a flexible manufacturing system. IFAC Journal Automatica 28(6): 1199-1208
53. Zhou M. C.; DiCesare F. (1993) Petri net synthesis for discrete event control of manufacturing systems (1st ed.). Kluwer, Boston