Konu "Liveness" için listeleme
Toplam kayıt 6, listelenen: 1-6
-
Controller design to enforce boundedness, liveness and reversibility in Petri nets
(Pergamon-Elsevier Science LTD, 2003)Supervisory controller design to enforce boundedness, reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties ... -
Controller design to enforce boundedness, liveness, and reversibility in Petri nets
(IFAC Secretariat, 2003)Supervisory controller design to enforce bouudedness. reversibility, and liveness in ordinary Petri nets with weighted arcs is considered. Algorithms are presented to design a controller to enforce these properties ... -
Supervisory controller design to enforce basic properties in timed-place petri nets
(2013)Supervisory controller design to enforce boundedness, reversibility, and liveness in discrete-event systems with time-delays is considered. It is assumed that the system is modeled by a timed-place Petri net. The approach ... -
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 Petri nets
(2009)Supervisory controller design to enforce boundedness, reversibility, and liveness in timed Petri nets with firing durations is considered. It is assumed that both controllable and uncontrollable transitions may be present ... -
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 ...