REVERSIBILITY ENFORCEMENT FOR UNBOUNDED PETRI NETS

Hanife Apaydın Özkan, Aydin Aybar

2005

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.

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