Li, Chengzong, Yongyao Li, Yufeng Chen, Naiqi Wu, Zhiwu Li, Pengyu Ma, and Husam Kaid. “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 41, no. 5 (December 31, 2022): 1310–1336. Accessed June 19, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/2022_5_1310.