Konu "Reversibility" için Bildiri Koleksiyonu listeleme
Toplam kayıt 3, listelenen: 1-3
-
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 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 ...