Konu "Boundedness" 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 ... -
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 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 ...