Li, C. (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), pp. 1310–1336. doi: 10.31577/cai_2022_5_1310.