Maximally permissive feedback and modular control synthesis in Petri nets with external input places
Toshimitsu Ushio · IEEE Transactions on Automatic Control · 1990
A necessary and sufficient condition is presented for the unique existence of a maximally permissive feedback (MPF) in a concurrent discrete-event system modeled by a Petri net. The concept of the weak interaction of a predicate is introduced. In addition to reviewing fundamental definitions and notations, the author defines the control invariance of a predicate and an MPF. A modular synthesis problem of MPF is discussed.>