Ara
Toplam kayıt 4, listelenen: 1-4
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 ...
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 ...
Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets
(Institute of Electrical and Electronics Engineers Inc., 2003)
Decentralized supervisory controller design based on overlapping decompositions to enforce boundedness, liveness, and reversibility is considerered for ordinary Petri nets with weighted arcs. In the proposed approach, the ...
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 ...