Dear all,
This is a kind reminder to tell that there are less tan 15 days
before the end of the first phase of the Model Checking Contest @
PETRI NET 2013 that will take place in Milano next June. This phase
allows the community to provide us with benchmark models.
pdf information: http://mcc.lip6.fr/pdf/cfm.pdf
web information: http://mcc.lip6.fr/index.php?N1=2&N2=1
This phase will end by November 15, 2012. Then, models will be
evaluated and some will be selected to be part of the benchmark for
2013 (together with the ones of 2011 and 2012).
All information about the Model Checking Contest @ PETRI NET 2013 and
the call for model is available at the following URL:
http://mcc.lip6.fr
--
--------------------------------------------------------------------------
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] ]]
