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.
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 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

INRIA | CNRS | LGIPM | LORIA | UNIV-LORRAINE | INRIA2

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 Datacite

Share

Metrics

Record views

74

 

Contact                    Legal Notice                    Personal Data