Login / Signup

Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs.

Étienne AndréGiuseppe PellegrinoLaure Petrucci
Published in: FORMATS (2013)
Keyphrases
  • petri net
  • colored petri nets
  • neural network
  • discrete event systems
  • state machines