Dear all,
This is our pleasure to announce that, this year, we are evaluating 12
different software against our benchmark:
ITS-Tools http://ddd.lip6.fr <http://ddd.lip6.fr/>
LoLA
http://theo.informatik.uni-rostock.de/theo_home/
<http://theo.informatik.uni-rostock.de/theo_home/>
LTSMin http://fmt.cs.utwente.nl/tools/ltsmin/
<http://fmt.cs.utwente.nl/tools/ltsmin/>
MARCIE
http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Marcie
<http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Marcie>
PeCan
pnmc https://github.com/ahamez/pnmc
<https://github.com/ahamez/pnmc>
PNXDD
https://projets-systeme.lip6.fr/trac/research/NEOPPOD/wiki/pnxdd
<https://projets-systeme.lip6.fr/trac/research/NEOPPOD/wiki/pnxdd>
Smart http://smart.cs.iastate.edu/
<http://smart.cs.iastate.edu/>
tapaalEXP (3 variants) http://www.tapaal.net <http://www.tapaal.net/>
ydd-pt https://github.com/kyouko-taiga/py-ydd
<https://github.com/kyouko-taiga/py-ydd>
For now 2 weeks, we are processing the models with the tools. We just passed
about 66% of the total executions and we already have processed models for more
than 1005 days of CPU. Thank you for those who allowed this by letting us use
their nice machines (Univ. Rostock, Univ. Genera, Univ. Paris Ouest Nanterre la
Défense, Univ. P. & M. Curie).
Best regards.
Fabrice
--------------------------------------------------------------------------------------
Fabrice Kordon
Université Pierre & Marie Curie
LIP6/MoVe, Bureau 26/25-212
4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/Fabrice.Kordon/ <http://lip6.fr/Fabrice.Kordon/>
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
