International Journal of Control, Automation, and Systems

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지

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)
  • Published : 2007.08.31
Download PDF
⟨ Previous Next ⟩

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

References

  1. M. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic, Norwell, MA, 1993
  2. J. Proth and X. Xie, Petri Nets: A Tool for Design and Management of Manufacturing Systems, John Wiley & Sons, West Sussex, 1996
  3. 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 https://doi.org/10.1109/9.121634
  4. 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 https://doi.org/10.1109/9.599972
  5. 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 https://doi.org/10.1080/0020717031000149609
  6. 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
  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 https://doi.org/10.1080/00207170500036076
  8. 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
  9. 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 https://doi.org/10.1109/9.286260
  10. 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 https://doi.org/10.1109/9.720505
  11. 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
  12. 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
  13. 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 https://doi.org/10.1109/TAC.2003.819078
  14. 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
  15. A. Aybar, 'Decentralized structural control approach for Petri nets,' Control and Cybernetics, vol. 36, no. 1, pp. 1-17, 2007