Algebraic and geometric characterization of Petri net controllers using the theory of regions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

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

Résumé

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.
Fichier non déposé

Dates et versions

inria-00100956 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100956 , version 1

Citer

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⟩
80 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More