State feedback and modular control synthesis in controlled Petri nets
Toshimitsu Ushio, R. Matsumoto · 2003
Petri nets are useful models for discrete-event systems, and can be used in the synthesis of control. The authors introduce the concept of the weak interaction of a predicate and show that it is the necessary and sufficient condition for the uniqueness of the maximally permissive feedback. Modular control synthesis problems are represented by conjunction and/or disjunction predicates. It is also shown that the maximally permissive feedback for conjunction of component predicates exists uniquely if each predicate is weakly interactive.>