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 Apr. 29];41(5):1310–1336. Available from: https://www.cai.sk/ojs/index.php/cai/article/view/2022_5_1310