21810 articles – 15605 Notices  [english version]

hal-00463404, version 1

Feedback control logic synthesis for non safe Petri nets

Abbas Dideban () 1, Hassane Alla () 2

13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM\'09) (2009) 946-951

Résumé : This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use conditions or predicates associated with transitions. Generally, there are many forbidden states, thus many complex conditions are associated with the transitions. A new idea for computing predicates in non safe Petri nets will be presented. Using this method, we can construct a maximally permissive controller if it exists.

  • 1 :  Laboratoire Semnan University
  • Iran Université Semnan
  • 2 :  Grenoble Images Parole Signal Automatique (GIPSA-lab)
  • CNRS : UMR5216 – Université Joseph Fourier - Grenoble I – Université Pierre-Mendès-France - Grenoble II – Université Stendhal - Grenoble III – Institut Polytechnique de Grenoble - Grenoble Institute of Technology
  • Domaine : Informatique/Théorie de l'information et codage
    Mathématiques/Théorie de l'information et codage
    Sciences de l'ingénieur/Automatique / Robotique
  • Mots-clés : Controller Synthesis – Discrete event system – Forbidden states – Petri Nets
  • Référence interne : Département Automatique
 
  • hal-00463404, version 1
  • http://hal.archives-ouvertes.fr/hal-00463404
  • oai:hal.archives-ouvertes.fr:hal-00463404
  • Contributeur : Hassane Alla <>
  • Soumis le : Vendredi 12 Mars 2010, 10:01:02
  • Dernière modification le : Jeudi 13 Décembre 2012, 15:17:53