A hybrid approach to design deadlock-free Petri net controller for discrete event systems

Transactions of the Institute of Measurement and Control

Volumn 33, Issue 1, 2011, Pages 77-92

  Zeng, G Q ^a   wu, W M ^a   Mao, W J ^a   su, H Y ^a   Chu, J ^a  

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

Author keywords

deadlock; discrete event systems; hybrid approach; Petri nets; supervisory control

Indexed keywords

CLOSED LOOP SYSTEMS; CONTROLLERS; PETRI NETS; SPECIFICATIONS; SUPERVISORY PERSONNEL;

DEADLOCK; DEADLOCK FREE; HYBRID APPROACH; PETRI NET CONTROLLER; PLACE INVARIANTS; SUBOPTIMAL SOLUTION; SUPERVISORY CONTROL; THEORY OF REGIONS;

DISCRETE EVENT SIMULATION;

EID: 79952017283     PISSN: 01423312     EISSN: None     Source Type: Journal    
DOI: 10.1177/0142331208095621     Document Type: Article

References (30)

1. Achour, Z. and Rezg, N. 2006: Time floating general mutual exclusion constraints in partial observable discrete systems. Proceedings of 2006 IEEE International Conference on Information Reuse and Integration, IRI - 2006: Heuristic Systems Engineering, Waikoloa, Hawaii, USA, pp. 75–79.
2. Badouel, E. and Darondeau, P. 1998: Theory of regions. Lecture Notes in Computer Science, Lecture on Petri nets I: Basic Models., Advances in Petri Nets, 1491, 529-86.
3. Basile, F., Recalde, L., Chiacchio, P. and Silva, M. 2000: Closed-loop live Petri net supervisors for generalized mutual exclusion constraints. Proceedings of 5th International Workshop on Discrete Event systems, Ghent, Belgium, in Boel, R. and Stremesch, G., editors, Discrete event systems: analysis and control, 169-80.
4. Chen, H.X. 1998: Net structure and control logic synthesis of controlled Petri nets. IEEE Transactions on Automatic Control, 43, 1446-50.
5. Chen, H.X. 2000: Control synthesis of Petri nets based on S-decreases. Discrete Event Dynamic Systems: Theory and Application, 10, 233-49.
6. Ezpeleta, J., Colom, J.M. and Martinez, J. 1995: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation, 11, 173-84.
7. Ghaffari, A., Rezg, N. and Xie, X.L. 2002a: Maximally permissive and non blocking control of Petri nets using the theory of regions. IEEE conference on Robotics and Automation. Washington, DC, 1895-900.
8. Ghaffari, A., Rezg, N. and Xie, X.L. 2002b: Algebraic and geometric characterization of Petri net controllers using the theory of regions. Proceeding of the 6th International Workshop on Discrete Event Systems. Zaragoza, Spainm, 219-24.
9. Ghaffari, A., Rezg, N. and Xie, X.L. 2003: Design a live and maximally permissive Petri net controller using the theory of regions. IEEE Transactions on Robotics and Automation, 19, 137-42.
10. Giua, A., Dicesare, F. and Silva, M. 1992: Generalized mutual exclusion constraints on nets with uncontrollable transitions. Proceedings of IEEE Conference on Systems, Man and Cybernetics, Chicago, IL, USA, pp. 974–79.
11. Holloway, L.E. and Krogh, B.H. 1990: Synthesis of feedback logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control, 35, 514-23.
12. Holloway, L.E. and Krogh, B.H. 1992: On closed-loop liveness of discrete-event systems under maximally permissive control. IEEE Transactions on Automatic Control, 37, 692-97.
13. Holloway, L.E., Guan, X. and Zhang, Y. 1996: A generalization of state avoidance policies for controlled Petri nets. IEEE Transactions on Automatic Control, 41, 804-16.
14. Iordache, M.V. 2003: Methods for supervisory control of concurrent systems based on Petri net abstractions. Ph.D. dissertation. University of Notre Dame, Indiana.
15. Iordache, M.V. and Antsaklis, P.J. 2003: Design of T-liveness enforcing supervisors in Petri nets. IEEE Transactions on Automatic Control, 48, 1962-74.
16. Iordache, M.V. and Antsaklis, P.J. 2006: Supervision based on place invariants: a survey. Discrete Event Dynamic Systems, 16, 451-92.
17. Krogh, B.H. and Holloway, L.E. 1991: Synthesis of feedback logic for discrete manufacturing systems. Automatica, 27, 641-51.
18. Li, Y. and Wonham, W.M. 1994: Control of vector discrete event systems II - controller synthesis. IEEE Transactions on Automatic Control, 39, 512-30.
19. Li, Z.W. and Zhou, M.C. 2004: Elementary siphons of Petri nets and their application in deadlock prevention for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 34, 38-51.
20. Li, Z.W. and Zhou, M.C. 2006: Clarifications on the definitions of elementary siphons of Petri nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 36, 1277-79.
21. Li, Z.W. and Zhou, M.C. 2008a: Control of elementary and dependent siphons of Petri nets and their application. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans, 38, 133-48.
22. Li, Z.W. and Zhou, M.C. 2008b: A survey and comparison of Petri net-based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Review, 38, 172-88.
23. Moody, J.O. and Antsaklis, P.J. 1998a: Supervisory control of discrete event systems using Petri nets. Kluwer.
24. Moody, J.O. and Antsaklis, P.J. 1998b: Deadlock avoidance in Petri net with uncontrollabe transitions. Proceedings of American Control Conference. Philadelphia, PA, 1257-58.
25. Moody, J.O. and Antsaklis, P.J. 2000: Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Transactions on Automatic Control, 45, 462-76.
26. Murata, T. 1989: Petri nets: properties, analysis, and applications. Proceedings of IEEE, 77, 541-80.
27. Recalde, L., Teruel, E. and Silva, M. 1998: On linear algebraic techniques for liveness analysis of P/T systems. Journal of Circuits, Systems, and Computers, 1, 223-65.
28. Su, H.Y., Wu, W.M. and Chu, J. 2005: Liveness problem of Petri nets supervisory control for discrete event systems. Acta Automatica Sinica, 31, 143-50.
29. Uzam, M. 2002: 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, 42, 192-208.
30. Yamalidou, E., Moody, J.O., Lemmon, M.D. and Antsaklis, P.J. 1996: Feedback control of Petri nets based on place invariants. Automatica, 32, 15-28.