Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets

Zhi Wu Li, Meng Chu Zhou

Research output: Contribution to journalArticlepeer-review

247 Scopus citations

Fingerprint

Dive into the research topics of 'Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Engineering

Economics, Econometrics and Finance