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 November 7, 2024. http://147.213.75.17/ojs/index.php/cai/article/view/2022_5_1310.