Li C, Li Y, Chen Y, Wu N, Li Z, Ma P, 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. Comput. Inform. [Internet]. 2022 Dec. 31 [cited 2024 Nov. 7];41(5):1310–1336. Available from: http://147.213.75.17/ojs/index.php/cai/article/view/2022_5_1310