Login / Signup

Applying CEGAR to the Petri Net State Equation.

Harro WimmelKarsten Wolf
Published in: TACAS (2011)
Keyphrases
  • petri net
  • manufacturing systems
  • discrete event systems
  • petri net model
  • high level petri nets
  • service composition
  • colored petri nets
  • web service composition
  • fuzzy petri net
  • data analysis
  • process model