Comments on "An Iterative Synthesis Approach to Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems". - ZhiWu Li 001; GaiYun Liu (IEEE Trans. Syst. Man Cybern. Part A, 2009)

Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing. - GaiYun Liu; Daniel Yuh Chao; Yao-Nan Lien (SEKE, 2012)

Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. - ZhiWu Li 001; GaiYun Liu; Hans-Michael Hanisch; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Part A, 2012)

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)

Robustness of deadlock control for a class of Petri nets with unreliable resources. - GaiYun Liu; ZhiWu Li 001; Kamel Barkaoui; Abdulrahman Al-Ahmari (Inf. Sci., 2013)

Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams. - Yufeng Chen 001; Gaiyun Liu (ACM Trans. Embed. Comput. Syst., 2013)

Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. - ZhiWu Li 001; GaiYun Liu; Hans-Michael Hanisch; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2013)

Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. - GaiYun Liu; Zhiwu Li 001; Abdulrahman Al-Ahmari (WODES, 2014)

Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets. (Synthèse de contrôleurs de Systèmes de production automatisés basés sur la théorie structurelle des réseaux de Petri). - Gaiyun Liu (2014)

Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller. - GaiYun Liu; Daniel Yuh Chao (Int. J. Control, 2015)

Necessary and sufficient liveness condition of GS3PR Petri nets. - GaiYun Liu; Kamel Barkaoui (Int. J. Syst. Sci., 2015)

Resource requirement analysis for cyclic workflows. - Xiaoou Li; Gaiyun Liu; Jun Wang; Jiacun Wang (ICNSC, 2016)

Cyclic workflow resource requirement analysis and application in healthcare. - Jiacun Wang; Xiaoou Li; Gaiyun Liu (WODES, 2016)

A survey of siphons in Petri nets. - GaiYun Liu; Kamel Barkaoui (Inf. Sci., 2016)

On modelling and evaluation of corrective and preventive maintenance policies of unreliable manufacturing systems. - Rym Meriah; Kamel Barkaoui; Gaiyun Liu; Olfa Belkahla Driss (CoDIT, 2019)

Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller. - GaiYun Liu; Dimitri Lefebvre; ZhiWu Li 001 (SMC, 2019)

Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources. - Xiaoyan Li; GaiYun Liu; Zhiwu Li 001; Naiqi Wu; Kamel Barkaoui (IEEE Access, 2019)

Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons. - Gaiyun Liu; Lingchun Zhang; Yuting Liu; Yufeng Chen 001; Zhiwu Li 001; Naiqi Wu (IEEE Access, 2019)

Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs. - GaiYun Liu; Pei Li; Zhiwu Li 001; Naiqi Wu (IEEE Trans. Syst. Man Cybern. Syst., 2019)

Robust deadlock control for automated manufacturing systems based on elementary siphon theory. - GaiYun Liu; Lingchun Zhang; Liang Chang 003; Abdulrahman Al-Ahmari; Naiqi Wu (Inf. Sci., 2020)

Prediction and Analysis of Time Series with the aid of Granular Parallel Support Vector Machine. - Lihong Dong; Guanchen Li; Dan Wang; Gaiyun Liu; Li Zheng (ICNSC, 2021)

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

Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons. - Mahmoud Salaheldin Elsayed; Gaiyun Liu; Almetwally M. Mostafa; Abeer Ali Alnuaim; Passent Mohammed El-Kafrawy (IEEE Access, 2021)

Design of Robust Optimization Petri Net Controller for Automated Manufacturing Systems With Unreliable Resources. - Ziliang Zhang; Gaiyun Liu; Yu Sun (CASE, 2022)

Supervisory Control for Petri Nets Based on Partial Order Techniques. - Ziliang Zhang; Depei Zhang; Gaiyun Liu; Yonglai Wang (ICNSC, 2022)

Time based deadlock prevention for Petri nets. - Hanifa Boucheneb; Kamel Barkaoui; Qian Xing; Kuangze Wang; GaiYun Liu; ZhiWu Li 001 (Autom., 2022)

Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming. - Gaiyun Liu; Yuting Liu; Zhiwu Li 001 (Soft Comput., 2022)

Adaptive Deadlock Control for a Class of Petri Nets With Unreliable Resources. - Ziliang Zhang; Gaiyun Liu; Kamel Barkaoui; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Analysis of Effectiveness and Stealthiness of Sensor Attacks in Labeled Petri Nets. - Chen Shen; Gaiyun Liu; Chunfu Zhong; Kamel Barkaoui (ICNSC, 2023)

Adaptive supervisory control for a class of Petri nets with bimodal transitions. - Umar Suleiman Abubakar; Gaiyun Liu; Kamel Barkaoui; Zhiwu Li 001 (Inf. Sci., 2023)

Robust Liveness Controllers for Time Petri Nets With Unreliable Resources. - Xiaobin Zhang; Yonglai Wang; Biaohua Xu; Gaiyun Liu (CASE, 2024)

State Space Reduction for Automated Manufacturing Systems With Unreliable Resources Using Partial Order Technique. - Zexi Huang; Lin Chen; Gaiyun Liu; Kamel Barkaoui (CoDIT, 2024)

Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks. - Jintao Jia; Gaiyun Liu; Zhiwu Li 001 (VECoS, 2024)

Adaptive supervisory control for automated manufacturing systems using borrowed-buffer slots. - Umar Suleiman Abubakar; Gaiyun Liu (Inf. Sci., 2024)

Adaptive Supervisory Control of Automated Manufacturing Systems With Unreliable Resources Based on Smart Switch Controllers. - Ziliang Zhang; Gaiyun Liu; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2024)

Monitor-Based Supervisory Control of Labeled Petri Nets Under Sensor Attacks. - Ziliang Zhang; Gaiyun Liu; Dimitri Lefebvre; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2025)

Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets. - Tao Qin 005; Li Yin; Gaiyun Liu; Naiqi Wu; Zhiwu Li 001 (IEEE CAA J. Autom. Sinica, 2025)