C. Li, “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., vol. 41, no. 5, pp. 1310–1336, Dec. 2022.