Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems. - Chengzong Li; Yufeng Chen 001; Zhiwu Li 001; Kamel Barkaoui (IEEE Access, 2017)

Mixed Multi-channel Graph Convolution Network on Complex Relation Graph. - Chengzong Li; Rui Zhai; Fang Zuo; Junyang Yu; Libo Zhang (WISA, 2021)

Design of Petri Net Supervisors for Discrete Event Systems With Two Control Specifications*. - Chengzong Li; Yufeng Chen 001; Zhiwu Li 001; Li Yin (CASE, 2022)

Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act- Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems. - Chengzong Li; Yongyao Li; Yufeng Chen 001; Naiqi Wu; Zhiwu Li 001; Pengyu Ma; Husam Kaid (Comput. Informatics, 2022)

Supervisory Control of Discrete Event Systems With Dynamic Control Specifications by Petri Nets. - Chengzong Li; Yufeng Chen 001; Zhiwu Li 001 (IEEE Trans. Control. Syst. Technol., 2024)

Supervisory Control of Discrete Event Systems Modeled With Labeled Petri Nets for Diagnosability Enforcement. - Chengzong Li; Yufeng Chen 001; Almetwally M. Mostafa; Mohamed Khalgui (IEEE Trans Autom. Sci. Eng., 2025)