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

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 Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:53:10 PM
Last modification on : Friday, February 4, 2022 - 3:21:59 AM


  • 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