Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act- Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems. - Chengzong Li; Yongyao Li; Yufeng Chen 001; Naiqi Wu; Zhiwu Li 001; Pengyu Ma; Husam Kaid (Comput. Informatics, 2022)