In: IEEE Trans. Autom. Control, Vol. 35, No. 7, pages 844-848. July 1990.
Abstract: 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.
Keywords: maximally permissive feedback; modular control synthesis; petri nets (with) external input place(s); discrete-event system; control invariance.