Dear all,
The Model Checking Contest @ PETRI NETS 2014 is pleased to announce the Call
for Tools participation. All information to operate your tool integration and
submit it is now available on the web site:
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] ]]
