Browse > Article

Supervisory Controller Design to Enforce Reversibility and Liveness in Colored Petri Nets  

Aybar, Aydin (Department of Electrical and Electronics Engineering, Anadolu University)
Cimen, Mustafa (Department of Electrical and Electronics Engineering, Anadolu University)
Publication Information
International Journal of Control, Automation, and Systems / v.5, no.4, 2007 , pp. 463-470 More about this Journal
Abstract
Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, written by pseudo-code, are presented for the supervisory controller design. A program is developed to implement these algorithms.
Keywords
Colored Petri nets; discrete event systems; liveness; reversibility; supervisory controller;
Citations & Related Records

Times Cited By Web Of Science : 2  (Related Records In Web of Science)
Times Cited By SCOPUS : 1
연도 인용수 순위
1 M. P. Fandi, A. Guia, and C. Seatzu, 'A deadlock prevention method for railway networks using monitors for colored Petri nets,' Proc. of IEEE Int. Conf. Systems, Man & Cybernetics, Washington, D.C., USA, vol. 2, pp. 1866-1873, October 2003
2 C. Haoxun, 'Net structure and control logic synthesis of controlled Petri nets,' IEEE Trans. on Automatic Control, vol. 43, no. 10, pp. 1446-1450, 1998   DOI   ScienceOn
3 A. Aybar and A. Iftar, 'Controller design to enforce boundedness, liveness, and reversibility in Petri nets,' Preprints of the 7th IFAC Workshop on Intelligent Manufacturing Systems, Budapest, Hungary, pp. 199-204, April 2003
4 A. Aybar, 'Decentralized structural control approach for Petri nets,' Control and Cybernetics, vol. 36, no. 1, pp. 1-17, 2007
5 M. V. Iordache and P. J. Antsaklis, 'Design of T-liveness enforcing supervisors in Petri nets,' IEEE Trans. on Automatic Control, vol. 48, no. 11, pp. 1962-1974, 2003   DOI   ScienceOn
6 A. Aybar and A. Iftar, 'Supervisory controller design for timed Petri nets,' Proc. of IEEE International Conference on System of Systems Engineering, Los Angeles, CA, U.S.A., pp. 59-64, April 2006
7 A. Aybar, A. Iftar, and H. Apaydin-Ozkan, 'Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets,' International Journal of Control, vol. 78, no. 8, pp. 537-553, 2005   DOI   ScienceOn
8 R. S. Sreenivas and B. H. Krogh, 'On Petri net models of infinite state supervisors,' IEEE Trans. on Automatic Control, vol. 37, no. 2, pp. 274-277, 1992   DOI   ScienceOn
9 R. S. Sreenivas, 'On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modelled by controlled Petri nets,' IEEE Trans. on Automatic Control, vol. 42, no. 7, pp. 928-945, 1997   DOI   ScienceOn
10 M. V. Iordache and P. J. Antsaklis, 'Generalized conditions for liveness enforcement and deadlock prevention in Petri nets,' Proc. of the 22nd International Conference on Application and Theory of Petri Nets, Newcastle upon Tyne, UK, pp. 184-203, June 2001
11 M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic, Norwell, MA, 1993
12 J. Proth and X. Xie, Petri Nets: A Tool for Design and Management of Manufacturing Systems, John Wiley & Sons, West Sussex, 1996
13 A. Aybar and A. Iftar, 'Decentralized supervisory controller design to avoid deadlock in Petri nets,' International Journal of Control, vol. 76, no. 13, pp. 1285-1295, 2003   DOI   ScienceOn
14 A. Giua and F. DiCesare, 'Blocking and controllability of Petri nets in supervisory control,' IEEE Trans. on Automatic Control, vol. 39, no. 4, pp. 818-823, 1994   DOI   ScienceOn
15 M. Cimen and A. Aybar, 'Deadlock avoidance controller design for colored Petri nets,' Proc. of the National Automatic Control Conference (in Turkish), Istanbul, Turkey, pp. 187-192, June 2005