Yazar "Morel, G" için listeleme
-
Controller design to enforce boundedness, liveness and reversibility in Petri nets
Aybar, Aydın; İftar, Altuğ (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 ...