Dear Petri-netters
We are happy to publish the «surprise» models for the model checking contest.
They are available here :
http://mcc.lip6.fr/models.php <http://mcc.lip6.fr/models.php>
And thank you to the community who, yet in late 2016 and early 2017, provided
interesting new stuff for the evaluation of tools.
By the way, if you have complex Petri net models (at least in terms of state
space), do not hesitate to propose them for further editions of the Model
Checking Contest.
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] ]]
