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

Research output: Contribution to journalArticlepeer-review

249 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