A near-optimal approach for the synthesis of petri net based liveness enforcing supervisors in flexible manufacturing systems

---

Tezin Türü: Yüksek Lisans

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

Tezin Onay Tarihi: 2014

Öğrenci: TAHIR LAWAN SALEH

Danışman: MURAT UZAM