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 Access content directly
Conference Papers Year : 2002

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

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00100956 , version 1

Cite

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⟩
78 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More