Recently, a study has been presented for suboptimal supervisory control of Petri nets via monitor (control) places in the presence of uncontrollable transitions. To enforce a generalized mutual exclusion constraint (GMEC) ...

In this paper, a new method is proposed for digital hardware implementation of Petri net-based specifications. The purpose of this paper is to introduce a new discrete event control system paradigm, where the control system ...