December 2005
Intermediate to advanced
592 pages
30h 56m
English
Z. Achour[a], A. Ghaffari[a], N. Rezg[a], X. Xic[a],[b]
Petri net controller synthesis is formally treated in this paper. Two supervisory control problems of plant Petri net models, forbidden state problem and forbidden state-transition problem, are defined. The theory of regions is used to provide algebraic characterizations of pure control places 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. A railway network application is presented.
In our previous work [1], we proposed an approach for ...
Read now
Unlock full access