Controller design to enforce boundedness, liveness, and reversibility in Petri nets

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 36, Issue 3, 2003, Pages 199-204

  Aybar, Aydm ^a   Ftar, Altuǧ ^a  

^a ANADOLU UNIVERSITY   (Turkey)

Author keywords

Bouudedness; Liveness; Manufacturing systems; Petri nets; Reversibility; Supervisory controller design

Indexed keywords

MANUFACTURE; PETRI NETS;

BOUNDEDNESS; BOUUDEDNESS; CONTROLLER DESIGNS; LIVENESS; ORDINARY PETRI NET; REVERSIBILITY; SUPERVISORY CONTROLLER DESIGNS;

CONTROLLERS;

EID: 20844450852     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)37757-1     Document Type: Conference Paper

References (12)

1. Aybar, A. and A. İftar (2001). Decentralized control design for interconnected discrete-event systems. In: Preprints of the 9th IFAC Symposium on Large Scale Systems. Bucharest. Romania, pp. 415-418.
2. Aybar, A. and A. İftar (2002). Overlapping decompositions and expansions of Petri nets. IEEE Transactions on Automatic Control 47, 511-515.
3. Desrochers, A. A. and R. Y. Al-Jaar (1995). Applications of Petri Nets in Manufacturing Systems. The Institute of Electrical and Electronics Engineers Inc., New York.
4. Ezpeleta, J., J. M. Colom and J. Martinez (1995). A Petri net, based deadlock prevention policy for flexible manufacturing systems. IEEE Transactions on Robotics and Automation. 11, 173-184.
5. Giua, A. and F. DiCesare (1994). Blocking and controllability of Petri nets in supervisory control. IEEE Transactions on Automatic Control 39, 818-823.
6. Haoxun, C. (1998). Net structure and control logic synthesis of controlled Petri nets. IEEE Transactions on Automatic Control 43, 1446-1450.
7. Holloway, L. E. and B. H. Krogh (1990). Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control 35, 514-523.
8. Iordache, M. V. and P. J. Antsaklis (2001). Generalized conditions for liveness enforcement and deadlock prevention in Petri nets. In: Proceedings of 22 International Conference on Application and Theory of Petri Nets (ICATPN2001). Newcastle upon Tyne, UK. pp. 184-203.
9. Iordache, M. V., J. O. Moody and P. J. Antsaklis (2001). A method for the synthesis of liveness enforcing supervisors in Petri nets. In: Proceedings of the American Control Conference. Arligton. VA. pp. 4943 4948.
10. Proth, J. and X. Xie (1996). Petri Nets: A Tool for Design and Management of Manufacturing Systems. John Wiley & Sons. West Sussex.
11. Sreenivas, R. S. (1997). On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modelled by controlled Petri nets. IEEE Transactions on Automatic Control 42, 928-945.
12. Zhou, M. and F. DiCesare (1993). Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic. Norwell, MA.