Chapter . Petri net controller synthesis using theory of regions

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

Get Intelligent Production Machines and Systems - First I*PROMS Virtual Conference now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.