Browsing Scopus İndeksli Yayınlar Koleksiyonu by Publisher "Inst Control Robotics & Systems-Icros"
Now showing items 1-1 of 1
-
Supervisory controller design to enforce reversibility and liveness in colored Petri nets
(Inst Control Robotics & Systems-Icros, 2007)Colored Petri net model which is a model of discrete event systems is considered in this work. A supervisory controller which enforces reversibility and liveness simultaneously is presented. Furthermore, the algorithms, ...