Liveness enforcing monitors for safe and controllable Petri nets.

Michael D. Lemmon Kevin X. He

Published in: CDC (2002)

Keyphrases

petri net
petri net model
manufacturing systems
high level petri nets
discrete event systems
colored petri nets
service composition
fuzzy petri net
concurrent systems
sequence diagrams
state machines
knowledge base
learning environment
discrete dynamical systems