Li, Chengzong, et al. “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, vol. 41, no. 5, Dec. 2022, pp. 1310–1336, doi:10.31577/cai_2022_5_1310.