Chengzong Li, Yufeng Chen, Zhiwu Li, Kamel Barkaoui. Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems. IEEE Access, 5:16349-16358, 2017. [doi]
Abstract is missing.