Login / Signup
Improving the Significance of Benchmarks for Petri Nets Model Checkers.
Steve Hostettler
Alban Linard
Alexis Marechal
Matteo Risoldi
Published in:
ACSD/Petri Nets Workshops (2010)
Keyphrases
</>
petri net
petri net model
mathematical model
high level petri nets
simulation model
genetic algorithm
discrete event systems
colored petri nets
stochastic petri net
decision making
cellular automata