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.
Mots-clés : systèmes à événements discrets forbidden state-transition problems discrete event systems control uncontrollable transitions petri nets forbidden state problems contrôle transitions non contrôlables réseaux de petri problème de transitions d'état interdites problème d'états interdits
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00100956
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 2:53:08 PM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM

Identifiers

  • HAL Id : inria-00100956, version 1

Collections

INRIA | CNRS | LGIPM | LORIA | UNIV-LORRAINE

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

154

 

Contact                    Legal Notice                    Personal Data