Maximally permissive feedback and modular control synthesis in Petri nets with external input places

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