Algebraic synthesis of timed supervisor for automated manufacturing systems using petri nets

Hesuan Hu, Mengchu Zhou, Zhiwu Li

Research output: Contribution to journalArticlepeer-review

57 Scopus citations

Fingerprint

Dive into the research topics of 'Algebraic synthesis of timed supervisor for automated manufacturing systems using petri nets'. Together they form a unique fingerprint.

Engineering & Materials Science