Dear all,
This is the second call for Tools participation for the Model Checking Contest
@ PETRI NETS 2014. All information to operate your tool integration and submit
it is now available on the web site that also contains a new version of the
disk image (you also have instruction to update yours if you already started to
configure your VM) :
http://mcc.lip6.fr
Submitted tools will be evaluated against 28 models selected from past years.
15 more "surprise models» submitted this year after the call for model will be
added to to the contest. They will be published with the results of the contest.
Results will be presented in Tunis next June.
The deadline for submitting tools is April 30, 2014.
We are looking forward to receiving your tool participation at the Model
Checking Contest @ PETRI NETS 2014.
Best regards.
Fabrice (on behalf of the organizing committee)
--------------------------------------------------------------------------------------
Fabrice Kordon Université Pierre & Marie Curie
Tel: +33 1 44 27 88 20 LIP6/MoVe, Bureau 26/25-212
Fax: +33 1 44 27 74 95 4 place Jussieu, 75252 Paris Cedex 05
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] ]]
