Li, C.; Li, Y.; Chen, Y.; Wu, N.; Li, Z.; Ma, P.; Kaid, H. Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems. Comput. Inform. 2022, 41, 1310–1336.