In: Proc. of the 25th Annual Allerton Conf. on Communication Control, and Computing, pages 317-326. Urbana-Champaign: Univ. Illinois, 1987.
Abstract: Controlled Petri nets are defined as an extension of standard Petri nets with binary control inputs as exogenous conditions for enabling transitions. Properties of the set of reachable markings are established for constant control inputs and the notion of control invariant set of markings is defined for nondynamic state feedback.