Design and coordination of partial Petri net controllers for a maximally permissive supervisory control - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2002

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

Fehmi Reben Njima
  • Fonction : Auteur
Nidhal Rezg
  • Fonction : Auteur
  • PersonId : 9267
  • IdHAL : rezg
  • IdRef : 075082160

Résumé

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.
Fichier non déposé

Dates et versions

inria-00100957 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100957 , version 1

Citer

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⟩
122 Consultations
0 Téléchargements

Partager

More