Net transformation and theory of regions for optimal control of Petri nets

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 : In a previous work, we applied the theory of regions to design optimal Petri net controller by adding so-called control places to the plant Petri net model with uncontrolable transitions and forbidden states. Unfortunately, such a simple control-place-based solution does not always exist. In the present paper, we propose a new approach for designing optimal controller for ordinary bounded Petri nets using control places. The key idea consists in transforming the plant Petri net model, for which a control-place-based solution was not found, into a safe Petri net. Then, exploiting the result stating that forbidden state problems of safe Petri nets always have control-place-based solutions, the control problem of the transformed model is optimally solved using our previous result. Besides, by assigning a priority to transitions of the transformed model, the complexity is considerably reduced.
Type de document :
Communication dans un congrès
IFAC World Congress on Automatic Control, Jul 2002, Barcelone, Espagne, 6 p, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100960
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:10
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00100960, version 1

Collections

Citation

Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Net transformation and theory of regions for optimal control of Petri nets. IFAC World Congress on Automatic Control, Jul 2002, Barcelone, Espagne, 6 p, 2002. 〈inria-00100960〉

Partager

Métriques

Consultations de la notice

130