SYNTHESIS METHOD OF A PN CONTROLLER USING FORBIDDEN TRANSITIONS SEQUENCES

R. Bekrar, N. Messai, N. Essounbouli, A. Hamzaoui, B. Riera

2008

Abstract

In this paper, we propose a control synthesis method for Discrete Event Systems (DES) modelled by a bounded ordinary Petri Nets (PN) to treat a forbidden state problem. The considered PN is transitions controllable and contains measurable and non measurable places. The PN controller is synthesised using the forbidden transitions sequences. The latter, are deduced from the PN reachability graph and considered as a forbidden language generated by the PN model. To show the efficiency of the proposed method an illustrative example is presented.

Paper Citation

in Harvard Style

Bekrar R., Messai N., Essounbouli N., Hamzaoui A. and Riera B. (2008). SYNTHESIS METHOD OF A PN CONTROLLER USING FORBIDDEN TRANSITIONS SEQUENCES . In Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO, ISBN 978-989-8111-32-6, pages 149-154. DOI: 10.5220/0001493201490154

in Bibtex Style

@conference{icinco08,
author={R. Bekrar and N. Messai and N. Essounbouli and A. Hamzaoui and B. Riera},
title={SYNTHESIS METHOD OF A PN CONTROLLER USING FORBIDDEN TRANSITIONS SEQUENCES},
booktitle={Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,},
year={2008},
pages={149-154},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001493201490154},
isbn={978-989-8111-32-6},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Fifth International Conference on Informatics in Control, Automation and Robotics - Volume 3: ICINCO,
TI - SYNTHESIS METHOD OF A PN CONTROLLER USING FORBIDDEN TRANSITIONS SEQUENCES
SN - 978-989-8111-32-6
AU - Bekrar R.
AU - Messai N.
AU - Essounbouli N.
AU - Hamzaoui A.
AU - Riera B.
PY - 2008
SP - 149
EP - 154
DO - 10.5220/0001493201490154