Liveness problem of Petri nets supervisory control theory for discrete event systems

Zidonghua Xuebao/Acta Automatica Sinica

Volumn 31, Issue 1, 2005, Pages 143-150

  Su, Hong Ye ^a   Wu, Wei Min ^a   Chu, Jian ^a  

^a STATE KEY LABORATORY OF INDUSTRIAL CONTROL TECHNOLOGY   (China)

Author keywords

Discrete event systems; Liveness; Petri nets; Supervisory control

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; CONTROL SYSTEM ANALYSIS; CONTROL THEORY; PETRI NETS;

DISCRETE EVENT SYSTEMS; LIVENESS; SUPERVISORY CONTROL;

DISCRETE TIME CONTROL SYSTEMS;

EID: 15044356782     PISSN: 02544156     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (74)

1. Zheng Dazhong, Zheng Yingping. The Current State and Developing Trends of DEDS Theory, Acta Automatica Sinica, 1992, 18(2): 129-142
2. Ramadge P J, Wonham W M. Supervisory Control of a Class of Discrete-Event Processes, SIAM J. Control and Optimiz., 1987, 25(1): 206-230
3. Ramadge P J, Wonham W M. Modular Feedback Logic for Discrete Event Systems, SIAM J. Control and Optimiz., 1987, 25(3): 1202-1218
4. Ramadge P J, Wonham W M. The Control of Discrete Event Systems, Proceedings of the IEEE, 1989, 77(1): 81-97
5. Wonham W M, Ramadge P J. On the Supremal Controllable Sublanguages of a Given Language, SIAM J. Control Optimiz., 1987, 25(3): 637-659
6. Holloway L E, Krogh B H. Synthesis of Feedback Logic for a Class of Controlled Petri Nets, IEEE T-AC, 1990, 35(5): 514-523
7. Giua A, DiCesare F. Supervisory Design Using Petri Nets, In: Proceedings of 1991 IEEE CDC, 1991, 92-97
8. Giua A. Petri Net Techniques for Supervisory Control of Discrete Event Systems, In: Proceedings of 1st Workshop on Manufacturing and Petri Nets, Osaka, Japan., 1996, 1-30
9. Zheng Dazhong, Zhao Qianchuan. Discrete Event Dynamic Systems. Beijing: Tsinghua University Press, 2000
10. Wonham W M. Notes on Control of Discrete Event Systems. System Control Group, Dept. of Electrical Engineering, Toronto: University of Toronto, 2000
11. Brandin B A, The Real-Time Supervisory Control of an Experimental Manufacturing Cell, IEEE T-RA, 1996, 12(1): 1-14
12. Wonham W M. Supervisory Control Theory: Models and Methods, In: Proceedings of 24th International Conference on Application Theory of Petri Nets (ATPN 2003)-Workshop on Discrete-Event Systems Control, Eindhoven: The Netherlands, 2003, 1-14
13. Krogh B H. Controlled Petri Nets and Maximally Permissive Feedback Logic, In: Proceedings of 25th Allerton Conference, Urbana: University of Illinois, 1987, 317-326
14. Krogh B H, Holloway L E. Synthesis of Feedback Logic for Discrete Manufacturing Systems, Automatica, 1991, 27(4): 641-651
15. Holloway L E, Guan X, Zhang L. A Generalization of State Avoidance Policies for Controlled Petri Nets, IEEE T-AC, 1996, 41(6): 804-816
16. Boel R K, Ben-Naoum L, Breusegem V V. On Forbidden State Problems for a Class of Controlled Petri Nets, IEEE T-AC, 1995, 40(10): 1717-1731
17. Ghaffari A, Rezg N, Xie X. Feedback Control Logic for Forbidden State Problem of Marked Graphs: Application to a Real Manufacturing System, IEEE T-AC, 2003, 48(1): 18-29
18. Ph. Darondeaua, Xie X. Linear control of live marked graphs, Automatica, 2003, 39: 429-440
19. Aibo Song, Zhehui Wu, Dong Yisheng. Feedback Control for a Class of Controlled Petri Nets, Acta Automatica Sinica, 2002, 28(5): 832-837
20. Yuan Zhonghu, Xu Xinhe. The Feedback Control Logic of Coordination in Discrete Event Systems, Control Theory and Application, 1994, 11(6): 738-742
21. Li Y, Wonham W M, Control of Vector Discrete-Event Systems I -The Base Model, IEEE T-AC, 1993, 38(8): 1214-1227
22. Li Y, Wonham W M. Control of Vector Discrete-Event Systems II-Controller Synthesis. IEEE T-AC, 1994, 39(3): 512-531
23. Dong Lida, Wu Weimin, Su Hongye, Chu Jian, Wang Xiao. An Extension of the Linear Integer Program Approach for Controller Synthesis of DBS Modeled by Petri Nets, In: Proceedings of 2002 IEEE CDC, Las Vegas, USA, 2002, 4181-4186
24. Dong Lida, Wu Weimin, Su Hongye and Chu Jian. Petri net cascade decomposition for supervisory control, In: Proceedings of 2003 ACC, Denver, USA, 2003, 1: 338-343
25. Dong Lida, Wu Weimin, Su Hongye and Chu Jian, Normalized Cascade Structures and State Feedback Control Logic Synthesis, In: Proceedings of 2003 IEEE International Conference on Decision and Control, Hawaii, USA, 2003, 3203-3208
26. Yamalidou K, Moody J O, Lemmon M D, Antsaklis P J. Feedback Control of Petri Nets Based on Place Invariants, Automatica, 1996, 32(1): 15-28
27. Moody J O, Antsaklis P J. Petri Net Supervisors for DES with Uncontrollable and Unobservable Transitions, IEEE T-AC, 2000, 45(3), 462-476
28. Giua A, DiCesare F, Silva M. Generalized Mutual Exclusion Constraints on Nets with Uncontrollable Transitions, In: Proceedings of the 1992 IEEE International Conference on SMC, 1992, 974-979
29. Chen H. Net structure and control logic synthesis of controlled Petri nets, IEEE T-AC, 1998, 43(10): 1446-1450
30. Chen H. Control Synthesis of Petri Nets Based on S-decreases, Discrete Event Dynamic Systems: Theory and Application, 2000, 10(3): 233-249
31. Basile F, Chiacchio P, Giua A. On the Choice of Suboptimal Monitor Places for Supervisory Control of Petri Nets, In: Proceedings of 1998 IEEE SMC, 1998, 752-757
32. Keyi Xing, Yugeng Xi, Baosheng Hu, Petri Net Controller for Discrete Event Systems with Uncontrollable Transitions, Acta Automatica Sinica, 2001, 27(2): 180-185
33. Iordache M V, Antsaklis P J. Synthesis of Supervisors Enforcing General Linear Vector Constraint in Petri Nets, In: Proceedings of 2002 ACC, 2002, 154-159
34. Lima E A, Dorea C E T. An Algorithm for Supervisory Control of Discrete-Event Systems via Place Invariant, In: Proceedings of the 15th IFAC World Congress, 2002
35. Wu Weimin, Su Hongye, Chu Jian. Synthesis of Petri Nets Controller for Discrete Event Systems Based on Finite Capacity Places - Part 1, Control Theory and Application, 2003, 20(2): 228-232
36. Wu Weimin, Su Hongye, Chu Jian, Synthesis of Petri Nets Controller for Discrete Event Systems Based on Finite Capacity Places - Part 2, Control Theory and Application, 2003, 20(2): 233-238
37. Wu Weimin, Su Hongye, Jianbo Hu, Chu Jian, Zhai Haifeng, Haihong Wu. Petri Net Controller Synthesis for Discrete Event Systems Using Weighted Inhibitor Arc, In: Proceedings of 2001 IEEE International Conference on Robotics and Automation, Seoul, Korea, 2001, 3582-3587
38. Wu Weimin, Su Hongye, Chu Jian, Zhai Haifeng. Hierarchical control of DES based on colored Petri nets, In: Proceedings of 2001 IEEE SMC, Tucson, Arizona, USA, 2001, 1571-1576
39. Wu Weimin, Su Hongye, Chu Jian. Supervisory Control of Discrete Event systems Using Enabling Arc Petri Nets, In: Proceedings of 2002 IEEE International Conference on Robotics and Automation, Washington, DC, USA, 2002, 1913-1918
40. Uzam M, Jones A H, Yucel I. Using a Petri-Net-Based Approach for the Real-time Supervisory Control of an Experimental Manufacturing System, International Journal of Advanced Manufacturing Technology, 2000, 16(7): 498-515
41. Cho Y C, Kwon W H. Inhibitor Arc Based State Avoidance Controller for Non-Convex Forbidden State Problems in Petri Nets, In: Proceedings of 39th IEEE CDC, Sydney, Australia, 2000, 2682-2687
42. Wu Weimin, Dong Lida, Su Hongye, Chu Jian. On the Enforcement of a New Type of Constraint in Petri Nets, In: Proceedings of 2003 IEEE SMC, Washington, USA, 2003, 1: 598-603
43. Wu Weimin, Dong Lida, Su Hongye, Chu Jian, Supervisory Control of Discrete Event Systems Based on Inhibitor Arc Petri Nets: A Survey, Journal of Zhejiang University, 2003, 37(1): 42-46
44. Uzam M, Wonham W M. A Hybrid Approach to Supervisory Control of Discrete Event Systems Coupling RW Supervisors to Petri Nets, IEEE T-AC, 2003
45. Wu Weimin, Dong Lida, Wang Xiao, Su Hongye, Chu Jian. Combined Petri Net Controller for Discrete Event Systems, Acta Automatica Sinica, 2003, 29(5): 681-688
46. Makungu M, Barbeau M, St-Denis R. Synthesis of Controllers of Processes Modeled as Colored Petri Nets, Discrete Event Dynamic Systems: Theory and Applications, 1999, 9(2): 147-169
47. Wu Weimin, Su Hongye, Chu Jian, Wonham W M. Colored Petri Net Control of OR-Logic, In: Proceedings of 2002 IEEE International Symposium on Intelligent Control, Vancouver, Canada, 2002, 795-800
48. Liu Yong, Hu Qiying. Progress in Theoretic Research on State Feedback Control of Discrete Event Dynamical Systems, Acta Automatica Sinica, 2000, 26(4): 499-508
49. David R, Alla H. Petri Nets and Grafcet - Tools for Modeling Discrete Event Systems. New York: Prentice Hall, 1992
50. Murata T. Petri nets: Properties, analysis and applications, Proceedings of the IEEE, 1989, 77(4): 541-580
51. Wonham W M, Personal Communication, 2003
52. Holloway L E, Krogh B H. On Closed-Loop Liveness of Discrete-Event Systems Under Maximally Permissive Control, IEEE T-AC, 1992, 37(5): 692-697
53. Moody J O, Antsaklis P J. Deadlock Avoidance in Petri Nets with Uncontrollabe Transitions, In: Proceedings of American Control Conference, 1998, 1257-1258
54. Giua A, Seatzu C, Basile F. Observer-Based State-Feedback Control of Timed Petri Nets with Deadlock Recovery, IEEE T-AC, 2004, 49(1)
55. Ezpeleta J, Colom J M, Martinez J. A Petri Nets Based Deadlock Prevention Policy for Flexible Manufacturing Systems, IEEE T-RA, 1995, 11(2): 173-184
56. Zhou MengChu, Jeng M, Fanti M P, eds., Special Issue on Deadlock Resolution in Computer-Integrated Systems, IEEE T-SMC (Part A), 2004, 34(1)
57. He K X, Lemmon M D. Liveness-Enforcing Supervision of Bounded Ordinary Petri Nets Using Partial Order Methods, IEEE T-AC, 2002, 47(7): 1042-1055
58. Li ZhiWu, Zhou MengChu. Elementary Siphons of Petri Nets and Their Application to Deadlock Prevention in Flexible Manufacturing Systems, IEEE T-SMC (Part A), 2004, 34(1): 303-308
59. Roszkowska E. Supervisory Control for Deadlock Avoidance in Compound Processes, IEEE T-SMC (Part A), 2004, 34(1): 52-64
60. Ru Yu, Wu Weimin. Finite Capacity Place Method Based Deadlock Prevention Algorithm, Journal of System Simulation, 15(Supplement), 2003, 59-62
61. Xing Keyi. Baosheng Hu and Baiwu Wan, Liveness Control for Discrete Manufacturing Assembly Systems, Acta Automatica Sinica, 1999, 25(2): 176-183
62. Xing Keyi, Hu Baosheng, Chen Haoxun. Deadlock Avoidance Policy for Petri-net Modeling of Flexible Manufacturing Systems with Shared Resources, IEEE T-AC, 1996, 41(2): 289-295
63. Wu Naiqi. Necessary and Sufficient Conditions for Deadlock-free Operation in Flexible Manufacturing Systems Using a Colored Petri Net Model, IEEE T-SMC, Part C, 1999, 29(2): 192-204
64. Badouel E, Darondeau P. Theory of Regions, LNCS, 1998, 1491: 529-586
65. McMillan K. Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, LNCS, 1992, 663: 164-177
66. McMillan K. Symbolic Model Checking. Norwell, Massachusetts: Kluwer, 1993
67. Xing Keyi, Xi Yugeng, Hu Baosheng. Petri Net Controller for Discrete Event Systems with Uncontrollable Transitions, Acta Automatica Sinica, 2001, 27(2): 180-185
68. Jiang Changjun, Zhang Zhaoqing, Qiao Ruliang. Design of Controller of Concurrent Systems Based on Petri Nets, Journal of Systems Engineering, 2001, 16(2): 116-120
69. Iordache M, Moody J, Antsaklis P. A method for the synthesis of liveness enforcing supervisors in Petri nets, In: Proceedings of the ACC, Arlington, VA., 2001, 4943-4948
70. Uzam M. An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions, International Journal of Advanced Manufacturing Technology, 2002, 19(3): 192-208
71. Ghaffari A, Rezg N, Xie X. Design of a Live and Maximally Permissive Petri Net Controller Using the Theory of Regions, IEEE T-RA, 2003, 19(1): 137-142
72. Genrich H J, Stankiewicz-Wiechno E. A Dictionary of Some Basic Notions of Net Theory, Lecture Notes in Computer Science, Springer, 1980, 84: 519-535
73. Yuan Chongyi. Principle of Petri Net. Beijing: Publishing House of Electronics Industry, 1998
74. Ru Yu, Wu Weimin, Su Hongye, Chu Jian. Supervisor Synthesis for Bounded Petri Nets Based on a Transformation Function, In: Proceedings of 2004 American Control Conference, Boston, USA. June, 2004, 4493-4498