Browsing Bildiri Koleksiyonu by Author "Monostori, L"
Now showing items 1-1 of 1
-
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 ...