Dear all,
There is only 20 DAYS until the end of the first phase of the Model
Checking Contest @ PETRI NET 2012. This phase allows the community to
provide us with benchmark models.
This phase will end by October 30, 2011. Then, models will be
evaluated and some will be selected to be part of the benchmark for
2012 (together with the ones of 2011).
All information about the Model Checking Contest @ PETRI NET 2012 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] ]]
