Yayın: Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
Yükleniyor...
Tarih
Dergi Başlığı
Dergi ISSN
Cilt Başlığı
Yayımcı
Özet
Açıklama
Anahtar kelimeler
Liveness, Petri net, Controller (irrigation), Control theory (sociology), Computer science, Deadlock, Supervisory control, Decentralised system, Distributed computing, Computation, Control engineering, Control (management), Engineering, Algorithm