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
Conference papers

Design and coordination of partial Petri net controllers for a maximally permissive supervisory control

Asma Ghaffari 1 Fehmi Reben Njima 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 : In a previous work, we proposed a general approach for synthesizing a maximally permissive Petri net controller as a set of control places to connect to a given plant Petri net model. The resulting net has the maximum behavior w.r.t. forbidden state specifications. However, Petri net controller does not always exist. Such situations are geometrically caracterized and a solution is proposed in this paper for forbidden state problems for which no Petri net controller exists. It is shown that a maximally permissive control policy may be achieved by accounting of the actions of several partial Petri net controllers. Each of them prevents the reachability of at least one forbidden state transition and allows any marking in the desired behavior. The design procedure of partial PN controllers detailed here is based on the approach we previously proposed. It is applied to an example.
Document type :
Conference papers
Complete list of metadata

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


  • HAL Id : inria-00100957, version 1



Asma Ghaffari, Fehmi Reben Njima, Nidhal Rezg, Xiaolan Xie. Design and coordination of partial Petri net controllers for a maximally permissive supervisory control. IEEE International Conference on Systems Man and Cybernetics - SMC'02, Oct 2002, Hammamet, Tunisie, 6 p. ⟨inria-00100957⟩



Record views