Now showing items 1-3 of 3
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) ...
The real-time supervisory control of an experimental manufacturing system based on a hybrid method
(PERGAMON-ELSEVIER SCIENCE LTD, 2009)
In this paper, the real-time supervisory control of an experimental manufacturing system is reported based on a recently proposed hybrid (mixed PN/automaton) approach. Assuming that an uncontrolled bounded Petri net (PN) ...
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 ...