REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS

Hanife Apaydın Özkan, Aydin Aybar

Abstract

In this paper, partially reversibility property and reversibility enforcement are studied for unbounded Petri nets. A method which tests partial reversibility, and also finds a bound vector guaranting reversibility for unbounded Petri nets is developed and an algorithm of the method is generated. Furthermore a controller design approach which enforces reversibility for unbounded Petri nets is introduced.

References

  1. Apaydin-O zkan, H. (2005). Determination of bound vectors to guarantee reversibility for unbounded Petri nets. M.S Thesis. (in Turkish). Anadolu Ü niversitesi, Fen Bilimleri Enstitüs ü, Eskis¸ehir, Turkey.
  2. Aybar, A. and I?ftar, A. (2003). Decentralized controller design to enforce boundedness, liveness and reversibility in Petri nets. In Proceeding CD-ROM of the European Control Conference, Cambridge, UK.
  3. Aybar, A., I?ftar, A., and Apaydin-O zkan, H. (2005). Centralized and decentralized supervisory controller design to enforce boundedness, liveness and reversibility in Petri nets. International Journal of Control, 78:537-553.
  4. Cassandras, C. G. and Lafortune, S. (1999). Introduction to Discrete Event Systems. Kluwer Academics, Norwell, MA.
  5. Desrochers, A. A. and Al-Jaar, R. Y. (1995). Applications of Petri Nets in Manufacturing Systems. The Institute of Electrical and Electronics Engineers Inc., New York.
  6. Jeng, M., Xie, X., and Peng, M. (2002). Process nets with resources for manufacturing modeling and their analysis. IEEE Transactions on Robotics and Automation, 18:875-889.
  7. Peterson, J. (1981). Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ : Prentice-Hall, New Jersey.
  8. Proth, J. and Xie, X. (1996). Petri Nets: A Tool for Design and Management of Manufacturing Systems. John Wiley & Sons, West Sussex.
  9. Zhou, M. and DiCesare, F. (1993). Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic, Norwell, MA.
Download


Paper Citation


in Harvard Style

Apaydın Özkan H. and Aybar A. (2005). REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS . In Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO, ISBN 972-8865-30-9, pages 181-186. DOI: 10.5220/0001180501810186


in Bibtex Style

@conference{icinco05,
author={Hanife Apaydın Özkan and Aydin Aybar},
title={REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS},
booktitle={Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO,},
year={2005},
pages={181-186},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001180501810186},
isbn={972-8865-30-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Informatics in Control, Automation and Robotics - Volume 4: ICINCO,
TI - REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS
SN - 972-8865-30-9
AU - Apaydın Özkan H.
AU - Aybar A.
PY - 2005
SP - 181
EP - 186
DO - 10.5220/0001180501810186