A program for analysis and control of Petri nets

ICCC 2004 - Second IEEE International Conference on Computational Cybernetics, Proceedings

Volumn , Issue , 2004, Pages 309-314

  Apaydin, Hanife ^a   Manay, Ayşegül ^a   Aybar, Aydin ^a   Iftar, Altuǧ ^a  

^a ANADOLU UNIVERSITY   (Turkey)

Author keywords

Deadlock; Discrete event systems; Petri nets; Simulation; Supervisory control

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; CONTROL EQUIPMENT; DISCRETE TIME CONTROL SYSTEMS; FUNCTIONS; SET THEORY;

DEADLOCK; DISCRETE-EVENT SYSTEMS (DES); SUPERVISORY CONTROL; TRANSITION FUNCTIONS;

PETRI NETS;

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

References (12)

1. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academics, Norwell, MA, 1999.
2. 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.
3. C. Haoxun, "Net structure and control logic synthesis of controlled Petri nets," IEEE Transactions on Automatic Control, vol. 43, pp. 1446-1450, 1998.
4. A. Aybar and A. İftar, "Overlapping decompositions and expansions of Petri nets," IEEE Transactions on Automatic Control, vol. 47, pp. 511-515, 2002.
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, Apr. 2003, 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, Sept. 2003.
7. A. Aybar and A. İftar, "Decentralized supervisory controller design to avoid deadlock in Petri nets," International Journal of Control, vol. 76, pp. 1285-1295, 2003.
8. A. Aybar, A. İftar and H. Apaydin, "Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets," 2004, (submitted).
9. J. Proth and X. Xie, Petri Nets: A Tool for Design and Management of Manufacturing Systems, John Wiley & Sons, West Sussex, 1996.
10. A. A. Desrochers and R. Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems, The Institute of Electrical and Electronics Engineers Inc., New York, 1995.
11. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic, Norwell, MA, 1993.
12. Wash Redmond, Microsoft Visual Basic 6.0 Programmer's Guide, Microsoft Press, 1998.