Chengzong Li, Yongyao Li, Yufeng Chen 0001, Naiqi Wu, Zhiwu Li 0001, Pengyu Ma, Husam Kaid. Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-\Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems. Computers and Artificial Intelligence, 41(5):1310-1336, 2022. [doi]
Abstract is missing.