Now showing items 1-2 of 2
On suboptimal supervisory control of Petri nets in the presence of uncontrollable transitions via monitor places
(SPRINGER LONDON LTD, 2010)
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) ...
Asynchronous implementation of discrete event controllers based on safe automation Petri nets
(SPRINGER LONDON LTD, 2009)
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 ...