Sign in
Verification of Liveness Properties on Closed Timed-Arc Petri Nets.
Mathias Andersen
Heine Gatten Larsen
Jirí Srba
Mathias Grund Sørensen
Jakob Haahr Taankvist
Published in:
MEMICS (2012)
Keyphrases
</>
petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
discrete event systems
fuzzy petri net
high level petri nets
service composition
ims ld
process model
state machines
artificial intelligence
e learning
stochastic petri net
discrete dynamical systems