On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics