Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets

International Journal of Control

Volumn 78, Issue 8, 2005, Pages 537-553

  Aybar, Aydin ^a   Iftar, Altuǧ ^a   Apaydin Özkan, Hanife ^a  

^a ANADOLU UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL METHODS; DECOMPOSITION; MACHINE DESIGN; PETRI NETS;

CONTROLLED TRANSITIONS; CONTROLLER DESIGN; OVERLAPPING DECOMPOSITION; WEIGHT ARCS;

CONTROL EQUIPMENT;

EID: 27744510558     PISSN: 00207179     EISSN: 13665820     Source Type: Journal    
DOI: 10.1080/00207170500036076     Document Type: Article

References (28)

1. H. Apaydin-Özkan, "Determination of bound vectors to guarantee reversibility for unbounded Petri nets", Master's thesis, Anadolu Üniversitesi, Eskişehir, Turkey (in Turkish), 2004.
2. A. Aybar, "Decentralized structural approach to enforce liveness in Petri nets" (submitted), 2004.
3. A. Aybar and A. İftar, "Decentralized control design for interconnected discrete-event systems", in Preprints of the 9th IFAC Symposium on Large Scale Systems, Bucharest, Romania, 2001, pp. 415-418.
4. A. Aybar and A. İftar, "Overlapping decompositions and expansions of Petri nets", IEEE Transactions on Automatic Control, 2002, 47, 511-515.
5. A. Aybar and A. İftar, "Controller design to enforce boundedness, liveness, and reversibility in Petri nets", in Preprints of the 7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, 2003a, pp. 199-204.
6. A. Aybar and A. İftar, "Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets", in Proceeding CD-ROM of the European Control Conference, Cambridge, UK, 2003b.
7. A. Aybar and A. İftar, "Decentralized supervisory controller design to avoid deadlock in Petri nets", International Journal of Control, 2003c, 76, 1285-1295.
8. A.A. Desrochers and R.Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems, New York: The Institute of Electrical and Electronics Engineers Inc., 1995.
9. Z.H. Ergan, "Deadlock analysis for timed Petri nets", Master's thesis, Anadolu Üniversitesi, Eskişehir, Turkey (in Turkish), 2004.
10. J. Esparza and M. Nielsen, Decidability Issues in Petri Nets, BRICS Report Series, RS-94-8, Department of Computer Science, University of Aarhus, Aarhus, Denmark, 1994.
11. A. Giua and F. DiCesare, "Blocking and controllability of Petri nets in supervisory control", IEEE Transactions on Automatic Control, 1994, 39, 818-823.
12. C. Haoxun, "Net structure and control logic synthesis of controlled Petri nets", IEEE Transactions on Automatic Control, 1998, 43, 1446-1450.
13. L.E. Holloway and B.H. Krogh, "Synthesis of feedback control logic for a class of controlled Petri nets", IEEE Transactions on Automatic Control, 1990, 35, 514-523.
14. L.E. Holloway and B.H. Krogh, "On closed-loop liveness of discrete-event systems under maximally permissive control", IEEE Transactions on Automatic Control, 1992, 37, 692-697.
15. A. İftar and Ü. Özgüner, "Decentralized LQG/LTR controller design for interconnected systems", in Proceedings of the American Control Conference, Minneapolis, MN, 1987, pp. 1682-1687.
16. A. İftar and Ü. Özgüner, "Overlapping decompositions, expansions, contractions, and stability of hybrid systems", IEEE Transactions on Automatic Control, 1998, 43, 1040-1055.
17. M. Ikeda and D.D. Šiljak, "Overlapping decompositions, expansions, and contractions of dynamic systems". Large Scale Systems, 1980, 1, 29-38.
18. M. Ikeda and D.D. Šiljak, "Overlapping decentralized control with input, state, and output inclusion", Control Theory and Advanced Technology, 1986, 2, 155-172.
19. M.V. Iordache and P.J. Antsaklis, "Generalized conditions for liveness enforcement and deadlock prevention in Petri nets", in Proceedings of 22nd International Conference on Application and Theory of Petri Nets (ICATPN2001), Newcastle upon Tyne, UK, 2001, pp. 184-203.
20. M.V. Iordache, J.O. Moody and P.J. Antsaklis, "A method for the synthesis of liveness enforcing supervisors in Petri nets", in Proceedings of the American Control Conference. Arligton, VA, 2001, pp. 4943-4948.
21. M. Jeng, X. Xie and M. Peng, "Process nets with resources for manufacturing modeling and their analysis", IEEE Transactions on Robotics and Automation, 2002, 18, 875-889.
22. J.L. Peterson, "Petri nets", ACM Computing Surveys, 1977, 9, 223-252.
23. J. Proth and X. Xie, Petri Nets: A Tool for Design and Management of Manufacturing Systems, West Sussex: John Wiley & Sons, 1996.
24. K. Rudie and J.C. Willems, "Decentralized discrete-event systems and computational complexity", in Discrete Event Systems, Manufacturing Systems, and Communication Networks, P.R. Kumar and P.P. Varaiya Eds, New York: Springer-Verlag, 1995, pp. 225-241.
25. K. Rudie and W.M. Wonham, "Think globally, act locally: decentralized supervisory control", IEEE Transactions on Automatic Control, 1992, 37, 1692-1708.
26. R.S. Sreenivas, "On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modelled by controlled Petri nets", IEEE Transactions on Automatic Control, 1997, 42, 928-945.
27. R.S. Sreenivas and B.H. Krogh, "On Petri net models of infinite state supervisors", IEEE Transactions on Automatic Control, 1992, 37, 274-277.
28. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Norwell, MA: Kluwer Academic, 1993.