Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems. - Murat Uzam; MengChu Zhou (SMC (5), 2004)

Comments on "Feedback control logic for forbidden-state problems of marked graphs: application to a real manufacturing system". - Murat Uzam; Walter Murray Wonham (IEEE Trans. Autom. Control., 2004)

Neurovision-based logic control of an experimental manufacturing plant using neural net le-net5 and automation Petri nets. - Bekir Karlik; Murat Uzam; Muhammed Cinsdikici; A. H. Jones (J. Intell. Manuf., 2005)

An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems. - Murat Uzam; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Part A, 2007)

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)

A merging method for the siphon-based FMS maximally permissive controllers with simpler structures. - Gai Yun Liu; Daniel Yuh Chao; Murat Uzam (IMA J. Math. Control. Inf., 2013)

A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS. - Murat Uzam; Zhiwu Li 001; Umar Suleiman Abubakar (ADECS @ Petri Nets, 2014)

A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems. - Mi Zhao; Murat Uzam; Yufan Hou (CASE, 2014)

New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs. - Yufeng Chen 001; ZhiWu Li 001; Kamel Barkaoui; Murat Uzam (IEEE Trans. Syst. Man Cybern. Syst., 2014)

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)

A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems. - Muhammad Bashir; Zhiwu Li 001; Murat Uzam; Abdulrahman Al-Ahmari; Naiqi Wu; Ding Liu; Ting Qu (IEEE Access, 2017)

A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems. - Mi Zhao; Murat Uzam (Inf. Sci., 2017)

On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach. - Muhammad Bashir; Zhiwu Li 001; Murat Uzam; Naiqi Wu; Abdulrahman Al-Ahmari (IMA J. Math. Control. Inf., 2018)

On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places. - Xiuyan Zhang; Murat Uzam; Zhiwu Li 001; Naiqi Wu (IMA J. Math. Control. Inf., 2018)

Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources. - Umar Suleiman Abubakar; Gaiyun Liu; Murat Uzam (IEEE Access, 2021)

Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets. - Shiqi Li; Murat Uzam; Li Yin; Zhaofeng Zhong; Li Zheng; Naiqi Wu (IEEE Access, 2021)

Design of an Improved Think Globally Act Locally Approach for the Computation of Petri Nets Based Liveness Enforcing Supervisors of FMSs. - Murat Uzam; Ahmed M. El-Sherbeeny; Weiwen Guo; Zhiwu Li 001 (IEEE Access, 2024)

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)

Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs. - Murat Uzam; Zhiwu Li 001; Mohammed A. El-Meligy; Mohamed Abdel Fattah Sharaf; Qiwei Tang (IEEE Access, 2024)