Li, Chengzong, Yongyao Li, Yufeng Chen, Naiqi Wu, Zhiwu Li, Pengyu Ma, and Husam Kaid. 2022. “Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems”. Computing and Informatics 41 (5):1310–1336. https://doi.org/10.31577/cai_2022_5_1310.