Login / Signup
Applying CEGAR to the Petri Net State Equation
Harro Wimmel
Karsten 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