Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:53:10 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM


  • HAL Id : inria-00100960, version 1



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. ⟨inria-00100960⟩



Record views