Chapter . Petri net controller synthesis using theory of regions
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 , we proposed an approach for ...