Chapter . Petri net controller synthesis using theory of regions
Z. Achour[a], A. Ghaffari[a], N. Rezg[a], X. Xic[a],[b]
Abstract
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.
Introduction
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 books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
