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

Algebraic and geometric characterization of Petri net controllers using the theory of regions

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 : This paper presents a formal treatment of Petri net controller design problems. Two supervisory control problems of plant Petri net models, forbidden state and forbidden state-transition problems, are defined. The theory of regions is used to provide algebraic characterizations of pure and impure control places for both problems. Thanks to Farkas-Minkowski's lemma, the algebraic characterizations lead to nice geometric characterization for the existence of control places for the two supervisory problems.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00100956
Contributor : Publications Loria Connect in order to contact the contributor
Submitted on : Tuesday, September 26, 2006 - 2:53:08 PM
Last modification on : Friday, February 4, 2022 - 3:30:54 AM

Identifiers

  • HAL Id : inria-00100956, version 1

Collections

Citation

Asma Ghaffari, Nidhal Rezg, Xiaolan Xie. Algebraic and geometric characterization of Petri net controllers using the theory of regions. The 6th International Workshop on Discrete Event Systems - WODES'02, Oct 2002, Saragosse, Espagne, pp.219-224. ⟨inria-00100956⟩

Share

Metrics

Record views

74