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
Type de document :
Communication dans un congrès
The 6th International Workshop on Discrete Event Systems - WODES'02, Oct 2002, Saragosse, Espagne, pp.219-224, 2002
Liste complète des métadonnées
https://hal.inria.fr/inria-00100956
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:53:08
Dernière modification le : mardi 27 février 2018 - 15:44:03

Identifiants

  • HAL Id : inria-00100956, version 1

Collections

INRIA | 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, 2002. 〈inria-00100956〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

134

Contact


archive-ouverte@inria.fr