A petri net based divide and conquer method for the synthesis of liveness enforcing supervisors in FMS


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Melikşah Üniversitesi, Türkiye

Tezin Onay Tarihi: 2014

Öğrenci: RABIU SALEH ZAKARIYYA

Danışman: MURAT UZAM