Dear all,
The call for tools for the MCC’2015 is out. Please check it at
http://mcc.lip6.fr
Let us note some interesting facts for this year:
- tools will be processed with 4 cores available and 4GB/core (16 in total)
- there will be at least a dozen new «surprise» models in our benchmark
- the submission kit is available with information about formula management.
Formula are being produced and will be provided early march.
We hope to meet you in Bruxelles next June for the results.
Best regards.
--------------------------------------------------------------------------------------
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] ]]
