Konu "Reversibility" için Makale Koleksiyonu listeleme
Toplam kayıt 3, listelenen: 1-3
-
Algorithms for deadlock avoidance and reversibility enforcement in discrete event systems
(Watam Press, 2006)Discrete event systems which are modeled by automata are considered in this work. The algorithms which determine the set of deadlock states and the reversible set, and design the deadlock avoidance controller and the ... -
Supervisory controller design to enforce reversibility and liveness in colored Petri nets
(Inst Control Robotics & Systems-Icros, 2007)Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, ... -
Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching
(Elsevier Sci LTD, 2012)Supervisory controller design to enforce boundedness, reversibility, and liveness in timed-transition Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may ...