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

Chengzong Li; Yufeng Chen; Zhiwu Li; Kamel Barkaoui

doi:10.1109/ACCESS.2017.2720630

Journal articles

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

Chengzong Li ¹ Yufeng Chen ^{2, 1} Zhiwu Li ¹ Kamel Barkaoui ³

1 SEE - School of Electronic Engineering [Xidian University]

2 CEDRIC - Centre d'études et de recherche en informatique et communications

3 CEDRIC - SYS - CEDRIC. Systèmes sûrs

CEDRIC - Centre d'études et de recherche en informatique et communications

Document type :

Journal articles

Domain :

Computer Science [cs]

Computer Science [cs] / Systems and Control [cs.SY]

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 : Tuesday, July 21, 2020 - 9:26:05 AM

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

Links full text

Identifiers

Collections

Citation

Export

Metrics

62

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

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

62