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.

References

  1. Achour, Z. and Rezg, N. (2006). Time floating general mutual exclusion constraints (tfgmec). In IMACS, Multiconference on Computational Engineering in Systems Applications.
  2. Basile, F., Carbone, C., and Chiacchio, P. (2007a). Feedback control logic for backward conflict free choice nets. In IEEE Transaction on Automation and Control.
  3. Basile, F., Chiacchio, P., and Giua, A. (2006). Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places. In Automatica.
  4. Basile, F., P.Chiacchio, and Giua, A. (2007b). An optimisation approach to Petri net monitor design. In IEEE Transaction on Automation and Control.
  5. Bekrar, R., Messai, N., Essounbouli, N., Hamzaoui, A., and Riera, B. (2006a). Identification of discrete event systems using ordinary Petri nets. In IAR-ACD'06, Proceeding of 2006 Workshop on Advanced Control and Diagnosis.
  6. Bekrar, R., Messai, N., Essounbouli, N., Hamzaoui, A., and Riera, B. (2006b). Off-line identification for a class of discrete event systems using safe Petri nets. In DESDes'06, 3rd IFAC Workshop on Discrete Event System Design.
  7. Boel, R., Ben-Naoum, L., and Breusegem, V. V. (1995). On forbidden state problems for a class of controlled Petri nets. In IEEE Transaction on Automatic and Control.
  8. Ghaffari, A., Rezg, N., and Xie, X. (2002). Algebraic and geometric characterization of Petri net controllers using the theory of regions. In WODES'02, Proceedings of 6th Worksop on Discrete Event Systems.
  9. Ghaffari, A., Rezg, N., and Xie, X. (2003). Feedback control logic for forbidden state problems of marked graphs: application to a real manufacturing system. In IEEE transaction on Automatic and Control.
  10. Giua, A., DiCesare, F., and Silva, M. (1992). Generalized mutual exclusion constraints on nets with uncontrollable transitions. In Proceedings of IEEE International Conference on System, Man and Cybernitic.
  11. Giua, A. and Xie, X. (2004). Control of safe ordinary Petri nets with marking specifications using unfolding. In WODES'04, Proceedings of the 7th IFAC Workshop on Discrete Event Systems.
  12. Holloway, L., Guan, X., and Zhang, L. (1996). A generalization of state avoidance policies for controlled Petri nets. In IEEE Transaction on Automatic and Control.
  13. Krogh, B. H. and Holloway, L. E. (1991). Synthesis of feedback control logic for discrete manufacturing systems. In Automatica.
  14. Lee, E. J., Toguyeni, A., and Dangoumau, N. (2006). A Petri net based approach for the synthesis of parts' controllers for reconfigurable manufacturing systems. In Proceeding of SICE-ICASE International Joint Conference.
  15. Moody, J. and Antsaklis, P. (2000). Petri net supervisors for dbs with uncontrollable and unobservable transitions. In Proceedings of IEEE International Conference on System, Man and Cybernitic.
Download


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