Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02476571
Contributor : Kamel Barkaoui <>
Submitted on : Wednesday, February 12, 2020 - 5:34:25 PM
Last modification on : Friday, February 14, 2020 - 1:27:53 AM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

7