Login / Signup
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition.
Hamed Ghasemieh
Anne Remke
Boudewijn R. Haverkort
Marco Gribaudo
Published in:
FORMATS (2012)
Keyphrases
</>
petri net
colored petri nets
discrete event systems
petri net model
e learning
dynamic systems