Yayıncı "Inst Control Robotics & Systems-Icros" Araştırma Çıktıları | TR-Dizin | WoS | Scopus | PubMed için listeleme
Toplam kayıt 1, listelenen: 1-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, ...