Deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using petri nets

IEEE Transactions on Industrial Informatics

Volumn 9, Issue 1, 2013, Pages 109-121

  Hu, Hesuan ^a   Zhou, Meng Chu ^b,c   Li, Zhiwu ^a,d   Tang, Ying ^e  

^a XIDIAN UNIVERSITY   (China)

^b Department of Computer Science and Technology   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

^e Rowan University   (United States)

Author keywords

Automated manufacturing systems (AMS); discrete event systems; Petri nets; supervisory control

Indexed keywords

ASSEMBLY OPERATIONS; AUTOMATED MANUFACTURING SYSTEMS; CONTROL PROBLEMS; FLEXIBLE ROUTES; LIVENESS; PETRI NET MODELS; SUPERVISORY CONTROL; SUPERVISORY CONTROLLERS;

DISCRETE EVENT SIMULATION; DISCRETE TIME CONTROL SYSTEMS; PRODUCTION ENGINEERING;

PETRI NETS;

EID: 84871741730     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2012.2198661     Document Type: Article

References (65)

1. I. B. Abdallah and H. A. ElMaraghy, "Deadlock prevention and avoidance in FMS: A Petri net based approach, " Int. J. Adv. Manuf. Tech., vol. 14, no. 10, pp. 704-715, Sep. 1998. (Pubitemid 128615807)
2. K. Barkaoui and I. B. Abdallah, "A deadlock prevention method for a class of FMS, " in Proc. IEEE Int. Conf. Syst., Man, Cybern., Vancouver, BC, Canada, Oct. 1995, pp. 4119-4124.
3. K. Barkaoui and J. F. Peyre, "On liveness and controlled siphons in Petri nets, " in Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 1996, vol. 1091, pp. 57-72. (Pubitemid 126085899)
4. F. Basile, P. Chiacchio, A. Giua, and C. Seatzu, "Deadlock recovery of Petri net models controlled using observers, " in Proc. IEEE Symp. Emerg. Tech. Fact. Auto., Antibes-Juan les pins, France, Oct. 2001, pp. 441-449. (Pubitemid 34647524)
5. F. Basile, P. Chiacchio, and A. Giua, "An optimizaiton approach to Petri net monitor design, " IEEE Trans. Automat. Contr., vol. 52, no. 2, pp. 306-311, Feb. 2007. (Pubitemid 46444286)
6. F. Basile, L. Recalde, P. Chiacchio, and M. Silva, "Closed-loop live marked graphs under generalized mutual exclusion constraint enforcement, " Discrete Event Dyn. Syst., vol. 19, no. 1, pp. 1-30, Mar. 2009.
7. S. Bernardi, J. Campos, and J. Merseguer, "Timing-failure risk assessment of UML design using time Petri net bound techniques, " IEEE Trans. Ind. Informat., vol. 7, no. 1, pp. 90-104, Feb. 2011.
8. S. Bernardi and J. Campos, "Computation of performance bounds for real-time systems using time Petri nets, " IEEE Trans. Ind. Informat., vol. 5, no. 2, pp. 168-180, May 2009.
9. F. Chu and X. L. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming, " IEEE Trans. Robot. Autom., vol. 13, no. 6, pp. 793-804, Dec. 1997. (Pubitemid 127770479)
10. D. Y. Chao, "Maximal class of weakly live ordinary Petri nets without emptiable siphons, " IEEE Trans. Syst., Man, Cybern. B. Cybern., vol. 36, no. 6, pp. 1332-1341, Dec. 2006. (Pubitemid 46405764)
11. D. Y. Chao, "Incremental approach to computation of elementary siphons for arbitrary simple sequential processes with resources, " IET Proc. Contr. Theor. Appl., vol. 2, no. 2, pp. 168-179, 2008. (Pubitemid 351311590)
12. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems, " IEEE Trans. Robot. Autom., vol. 11, no. 2, pp. 173-184, Apr. 1995.
13. J. Ezpeleta and R. Valk, "A polynomial deadlock avoidance method for a class of nonsequential resource allocation systems, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 36, no. 6, pp. 1234-1243, Nov. 2006. (Pubitemid 44680569)
14. J. Ezpeleta, F. García-Valles, and J. M. Colom, "A class of well structured Petri nets for flexible manufacturing systems, " in Int. Conf. Application and Theory of Petri Nets, J. Desel and M. Silva, Eds. Berlin, Germany: Springer-Verlag, Jun. 1998, vol. 1420, Lecture Notes in Computer Science, pp. 64-83. (Pubitemid 128093699)
15. A. Ghaffari, N. Rezg, and X. L. Xie, "Design of a live and maximally permissive Petri net controller using the theory of regions, " IEEE Trans. Robot. Autom., vol. 19, no. 1, pp. 137-142, Feb. 2003.
16. Y. S. Huang, M. D. Jeng, X. L. Xie, and S. L. Chung, "Deadlock prevention policy based on Petri nets and siphons, " Int. J. Prod. Res., vol. 39, no. 2, pp. 283-305, Jan. 2001.
17. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. New York: Springer, 2007.
18. H. S. Hu, M. C. Zhou, and Z. W. Li, "Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 41, no. 2, pp. 201-212, Mar. 2011.
19. H. S. Hu and Z. W. Li, "Clarification on the computation of liveness-enforcing supervisor for resource allocation systems with uncontrollable behavior and forbidden states, " IEEE Trans. Autom. Sci. Eng., vol. 6, no. 3, pp. 557-558, Jul. 2009.
20. H. S. Hu, M. C. Zhou, and Z. W. Li, "Liveness enforcing supervision of video streaming systems using non-sequential Petri nets, " IEEE Trans. Multi., vol. 11, no. 8, pp. 1457-1465, Nov. 2009.
21. H. S. Hu, M. C. Zhou, and Z. W. Li, "Algebraic synthesis of timed supervisor for automated manufacturing systems using Petri nets, " IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 549-557, Jul. 2010.
22. H. S. Hu, M. C. Zhou, and Z. W. Li, "Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets, " IEEE Trans. Autom. Sci. Eng., vol. 7, no. 4, pp. 933-944, Oct. 2010.
23. S. Hur, R. Katebi, and A. Taylor, "Modeling and control of a plastic film manufacturing web process, " IEEE Trans. Ind. Informat., vol. 7, no. 2, pp. 171-178, May 2011.
24. D. Herrero-Perez and H. Martinez-Barbera, "Modeling distributed transportation systems composed of flexible automated guided vehicles in flexible manufacturing systems, " IEEE Trans. Ind. Informat., vol. 6, no. 2, pp. 166-180, May 2010.
25. M. V. Iordache and P. J. Antsaklis, "Synthesis of supervisor enforcing general linear constraints in Petri nets, " IEEE Trans. Autom. Control, vol. 48, no. 11, pp. 2036-2039, Nov. 2003.
26. M. V. Iordache and P. J. Antsaklis, "Design of-liveness enforcing supervisors in Petri nets, " IEEE Trans. Autom. Contr., vol. 48, no. 11, pp. 1962-1974, Nov. 2003.
27. M. Kloetzer, C. Mahulea, C. Belta, and M. Silva, "An automated framework for formal verification of timed continuous Petri nets, " IEEE Trans. Ind. Informat., vol. 6, no. 3, pp. 460-471, Aug. 2010.
28. K. Lautenbach and H. Ridder, The Linear Algebra of Deadlock Avoidance-A PN Approach. Landau, Germany: Inst. Comput. Sci., Univ. Koblenz, 1996.
29. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 34, no. 1, pp. 38-51, Jan. 2004.
30. Z. W. Li and M. Zhao, "On controllability of dependent siphons for deadlock prevention in generalized Petri nets, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 38, no. 2, pp. 1083-4427, Mar. 2008.
31. Z. W. Li, M. C. Zhou, and N. Q. Wu, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems, " IEEE Trans. Syst., Man, Cybern. B. Appl. Rev., vol. 38, no. 2, pp. 173-188, Mar. 2008. (Pubitemid 351404113)
32. J. O. Moody and P. J. Antsaklis, "Petri net supervisors for DES with uncontrollable and unobservable transitions, " IEEE Trans. Autom. Control, vol. 45, no. 3, pp. 462-476, Mar. 2000.
33. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings, " IEEE Trans. Autom. Control, vol. 46, no. 10, pp. 1572-1583, Oct. 2001. (Pubitemid 33018223)
34. L. Piroddi, R. Cordone, and I. Fumagalli, "Combined siphon and marking generation for deadlock prevention in Petri nets, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 39, no. 3, pp. 650-661, May 2009.
35. L. Piroddi, R. Cordone, and I. Fumagalli, "Selective siphon control for deadlock prevention in Petri nets, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 38, no. 6, pp. 1337-1348, Nov. 2008.
36. I. Sindicic, S. Bogdan, and T. Petrovic, "Resource allocation in free-choice multiple reentrant manufacturing systems based on machine-job incidence matrix, " IEEE Trans. Ind. Informat., vol. 7, no. 1, pp. 105-114, Feb. 2011.
37. F. Tricas, F. Garcia-Valles, J. M. Colom, and J. Ezpeleta, "A Petri net structure-based deadlock prevention solution for sequential resource allocation systems, " in Proc. Int. Conf. Robot. Autom., Barcelona, Spain, Apr. 2005, pp. 272-278.
38. M. Uzam and M. C. Zhou, "An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems, " Int. J. Prod. Res., vol. 44, no. 10, pp. 1987-2030, May 2006. (Pubitemid 43860503)
39. M. Vallee, M. Merdan, W. Lepuschitz, and G. Koppensteiner, "Decentralized reconfiguration of a flexible transportation system, " IEEE Trans. Ind. Informat., vol. 7, no. 3, pp. 505-516, Aug. 2011.
40. K. Y. Xing, B. S. Hu, and H. X. Chen, "Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources, " IEEE Trans. Autom. Control, vol. 41, no. 2, pp. 289-295, Feb. 1996.
41. K. Yamalidou, J. O. Moody, M. Lemmon, and P. J. Antsaklis, "Feedback control of Petri nets based on place invariants, " Automatica, vol. 32, pp. 15-18, Jan. 1996.
42. Deadlock Resolution in Computer-Integrated Systems, M. C. Zhou and M. P. Fanti, Eds. New York: Marcel Dekker, 2004.
43. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. London, U. K.: Kluwer, 1993.
44. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources, " IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1991.
45. M. C. Zhou and M. C. Leu, "Modeling and performance analysis of a flexible PCB assembly station using Petri nets, " IEEE Trans. ASME, J. Electron. Packag., vol. 113, no. 4, pp. 410-416, 1991.
46. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets for manufacturing systems, " IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, 1992.
47. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system, " IFAC J. Automatica, vol. 28, no. 6, pp. 1199-1208, 1992. (Pubitemid 23587956)
48. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems:A Petri net approach, " IEEE Trans. Semicond. Manuf., vol. 11, no. 3, pp. 333-357, 1998. (Pubitemid 128742374)
49. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
50. Z. W. Li andM. C. Zhou, "Two-stage method for synthesizing livenessenforcing supervisors for flexible manufacturing systems using Petri nets, " IEEE Trans. Ind. Informat., vol. 2, no. 4, pp. 313-325, Nov. 2006.
51. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons in Petri nets, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 36, no. 6, pp. 1227-1229, Nov. 2006. (Pubitemid 44680567)
52. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets, " IEEE Trans. Syst., Man, Cybern. C. Appl. and Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007. (Pubitemid 47061954)
53. N. Q. Wu, M. C. Zhou, and Z. W. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 38, no. 1, pp. 56-69, Jan. 2008.
54. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons in Petri nets and their application, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.
55. Z. W. Li, M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions, " IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 182-188, Jan. 2008.
56. N. Wu, C. Chu, F. Chu, and M. C. Zhou, "A Petri net method for schedulability and scheduling problems in single-arm cluster tools with wafer residency time constraints, " IEEE Trans. Semicond. Manuf., vol. 21, no. 2, pp. 224-237, May 2008.
57. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. London, U. K.: Springer-Verlag.
58. K. Xing, M. C. Zhou, X. Yang, and F. Tian, "Optimal Petri net-based polynomial-complexity deadlock avoidance policies for automated manufacturing systems, " IEEE Trans. Syst., Man, Cybern., Part A, vol. 39, no. 1, pp. 188-199, Jan. 2009.
59. Y. F. Chen and Z. W. Li, "Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems, " Automatica, vol. 45, no. 5, pp. 1028-1034, May 2011.
60. Y. F. Chen, Z. W. Li, andM. Khalgui, "Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems, " IEEE Trans. Autom. Sci. Eng., vol. 8, no. 2, pp. 374-393, Apr. 2011.
61. Z. W. Li, G. Y. Liu, M.-H. Hanisch, and M. C. Zhou, "Deadlock prevention based on structure reuse of Petri net supervisors for flexible manufacturing systems, " IEEE Trans. Syst., Man, Cybern. A. Syst., Humans, vol. 42, no. 1, pp. 178-191, Jan. 2012.
62. Y.-S. Huang, Y.-L. Pan, and M. C. Zhou, "Computationally improved optimal deadlock control policy for flexible manufacturing systems, " IEEE Trans. Syst., Man, Cybern.-Part A. Syst. and Humans, vol. 42, no. 2, pp. 401-415, Mar. 2012.
63. Z. W. Li, N. Q. Wu, and M. C. Zhou, "Deadlock control of automatedmanufacturing systems based on Petri nets-Aliterature review, " IEEE Trans. Syst., Man, Cybern. C. Appl. and Rev., vol. 42, no. 4, pp. 437-462, Jul. 2012.
64. N. Wu and W. Q. Zeng, "Deadlock avoidance in AGV system using colored Petri net model, " Int. J. Prod. Res., vol. 40, no. 1, pp. 223-238, 2008.
65. N. Wu, "Necessary and sufficient conditions for deadlock-free operation in flexiblemanufacturing systems using a colored Petri netmodel, " IEEE Trans. Syst., Man, Cybern.-Part C, vol. 29, no. 2, pp. 192-204, 1999.