Liveness Analysis and Deadlock Control for Automated Manufacturing Systems With Multiple Resource Requirements

Yanxiang Feng, Keyi Xing, Mengchu Zhou, Huixia Liu

Research output: Contribution to journalArticlepeer-review

19 Scopus citations

Fingerprint

Dive into the research topics of 'Liveness Analysis and Deadlock Control for Automated Manufacturing Systems With Multiple Resource Requirements'. Together they form a unique fingerprint.

Engineering & Materials Science