Supervisory control of discrete event systems using enabling arc Petri nets

This paper addresses the supervisory control of the class of discrete event system (DES) modeled by a Petri net. The control specification described by a linear 'less-than-or-equal-to' inequality defined on the place marking of the net has been extensively studied in the literatures. However, in this paper we consider the control specification in the form of linear 'greater-than-or-equal-to' marking inequality. The supervisory control of the DES with 'greater-than-or-equal-to' constraint is implemented via an enabling arc, which is a recently proposed arc by Uzam (1998) and Uzam et al. (1999) and can be regarded as complementarity of inhibitor arc. An example illustrates the supervisory control method is presented in this paper.