Li, C. et al. 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 (Dec. 2022), 1310–1336. DOI:https://doi.org/10.31577/cai_2022_5_1310.