A new approach for the ladder logic implementation of Ramadge-Wonham supervisors. - Murat Uzam; Gökhan Gelen; Recep Dalci (ICAT, 2009)

Timed transition automata and their ladder logic implementation. - Murat Uzam; Gökhan Gelen; Recep Dalci (ICAT, 2009)

The concept of postponed event in timed discrete event systems and its PLC implementation. - Gökhan Gelen; Murat Uzam; Recep Dalci (SMC, 2010)

Comments on "Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems". - Murat Uzam; Gökhan Gelen (IEEE Trans. Syst. Man Cybern. Syst., 2014)

Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs. - Murat Uzam; Gökhan Gelen; Tahir Lawan Saleh (Inf. Sci., 2016)

A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems. - Murat Uzam; ZhiWu Li 001; Gökhan Gelen; Rabiu Saleh Zakariyya (J. Intell. Manuf., 2016)

On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA. - Murat Uzam; Ding Liu; Bernard Berthomieu; Gökhan Gelen; Zhaolong Zhang; Almetwally M. Mostafa; Zhiwu Li 001 (IEEE Access, 2024)