Li, C., Li, Y., Chen, Y., Wu, N., Li, Z., Ma, P., & Kaid, H. (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