Login / Signup
Liveness-enforcing supervision of bounded ordinary Petri nets using partial order methods.
Kevin X. He
Michael D. Lemmon
Published in:
IEEE Trans. Autom. Control. (2002)
Keyphrases
</>
petri net
partial order
knowledge base
low cost
discrete event systems