Skip to Main Content
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.
Robotics and Automation, 2002. Proceedings. ICRA '02. IEEE International Conference on (Volume:2 )
Date of Conference: 2002