Supervisory controller design for timed Petri nets

Proceedings 2006 IEEE/SMC International Conference on System of Systems Engineering

Volumn 2006, Issue , 2006, Pages 59-64

  Aybar, Aydm ^a   Iftar, Altuǧ ^a  

^a ANADOLU UNIVERSITY   (Turkey)

Author keywords

Deadlock; Discrete event systems; Supervisory controller design; Timed Petri nets

Indexed keywords

ALGORITHMS; COMPUTER SYSTEM RECOVERY; CONTROL EQUIPMENT; NUMERICAL METHODS;

CONTROLLER DESIGN; DISCRETE-EVENT SYSTEMS; SUPERVISORY CONTROLLER DESIGN; TIMED PETRI NETS;

PETRI NETS;

EID: 33845959201     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic, Norwell, MA, 1999.
2. Y. Ho (Ed.), Discrete Event Dynamic Systems: Analyzing Complexity and Performance in the Modem World, A Selected Reprint Volume, The Institute of Electrical and Electronics Engineers, Inc., New York, 1992.
3. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic, Norwell, MA, 1993.
4. J. Froth and X. Xie, Petri Nets: A Tool for Design and Management of Manufacturing Systems, John Wiley & Sons, West Sussex, 1996.
5. F. D. J. Bowden, "A brief survey and synthesis of the roles of time in Petri nets," Mathematical and Computer Modelling, vol. 31, pp. 55-68, 2000.
6. J. Wang, Timed Petri nets: theory and application, Kluwer Academic, Norwell, MA, 1998.
7. P. Freedman, "Time, Petri nets, and robotics," IEEE Transactions on Robotics and Automation, vol. 7, pp. 417-433, 1991.
8. W. M. Zuberek, "Timed Petri nets in modeling and analysis of cluster tools," IEEE Transactions on Robotics and Automation, vol. 17, pp. 562-575, 2001.
9. 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, vol. 42, pp. 928-945, 1997.
10. A. Aybar and A. iftar, "Decentralized supervisory controller design to avoid deadlock in Petri nets," International Journal of Control, vol. 76, pp. 1285-1295, 2003.
11. A. Aybar and A. iftar, "Controller design to enforce boundedness, liveness, and reversibility in Petri nets," in Preprints of the 7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, 2003, pp. 199-204.
12. H. Apaydm, A. Manay, A. Aybar, and A. iftar, "A program for analysis and control of Petri nets," in Proceedings of the IEEE International Conference on Computational Cybernetics, Vienna, Austria, 2004, pp. 309-314.
13. A. Aybar, A. Iftar, and H. Apaydm-Özkan, "Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets," International Journal of Control, vol. 78, pp. 537-553, 2005.
14. K. Kobayashi, K. Inoue, and T. Ushio, "LLP supervisory control with timed Petri net models in mobile robots," in Proceedings of the 2001 IEEE International Conference on Systems, Man & Cybernetics, 2001, pp. 3229-3234.
15. A. Aybar and A. iftar, "Overlapping decompositions and expansions of Petri nets," IEEE Transactions on Automatic Control, vol. 47, pp. 511-515, 2002.