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.
Type de document :
Communication dans un congrès
IEEE International Conference on Systems Man and Cybernetics - SMC'02, Oct 2002, Hammamet, Tunisie, 6 p, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100957
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:08
Dernière modification le : mardi 27 février 2018 - 15:44:03

Identifiants

  • HAL Id : inria-00100957, version 1

Collections

Citation

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, 2002. 〈inria-00100957〉

Partager

Métriques

Consultations de la notice

135