Login / Signup

Applying CEGAR to the Petri Net State Equation

Harro WimmelKarsten Wolf
Published in: Log. Methods Comput. Sci. (2012)
Keyphrases
  • petri net
  • petri net model
  • discrete event systems
  • neural network
  • colored petri nets
  • high level petri nets
  • fuzzy petri net
  • stochastic petri net
  • machine learning
  • genetic algorithm
  • hardware and software