HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Theory of regions based synthesis of the maximally permissive and non blocking supervisory control

Asma Ghaffari 1 Nidhal Rezg 1 Xiaolan Xie 1
1 MACSI - Industrial system modeling, analysis and operation
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper addresses the forbidden state problem of Petri nets with liveness requirement and uncontrollable transitions. The proposed approach synthesizes in two steps an optimal Petri net-based controller, whenever such a controller exists. First, the behavior of the closed loop system is computed with a state space search. Then, control places that realize the computed behavior when added to the original model, are synthesized. Necessary and sufficient condition of the existence of such places is obtained. A manufacturing application of the method shows its efficiency. || Nous proposons, dans cet article, une méthode de synthèse de superviseurs non bloquants basés sur les réseaux de Petri, pour résoudre le problème d'états interdits en présence d'événements non contrôlables. L'approche proposée dans cet article combine l'a
Document type :
Journal articles
Complete list of metadata

Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:53:05 PM
Last modification on : Friday, February 4, 2022 - 3:31:51 AM


  • HAL Id : inria-00100950, version 1



Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Theory of regions based synthesis of the maximally permissive and non blocking supervisory control. Journal Européen des Systèmes Automatisés (JESA), Lavoisier, 2002, 36 (7), pp.919-930. ⟨inria-00100950⟩



Record views