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, IEEE, 2017, 5, pp.16349-16358.
⟨10.1109/ACCESS.2017.2720630⟩.
⟨hal-02476571⟩ 
