Dear all,
We just launched the second phase of the Model Checking Contest @
PETRI NET 2012. This phase allows the community to submit tools to
the contest. These tools will be evaluated against 19 models selected
from the first call (for model submission). A 20th model (unknown and
selected at the very last moment) will allow the evaluation of tools
with their "default parameters" to have an idea of their behavior
when facing a "case study" operated by non specialists (of the tool
;-) ).
Tools must be submitted by May 15, 2012 according to the instructions
you may find here:
<http://mcc.lip6.fr/phase2.php>http://mcc.lip6.fr/phase2.php
All general information about the submission procedure, the known
models to be processed, and the examinations tools may have to pass,
are available here:
<http://mcc.lip6.fr/>http://mcc.lip6.fr
Please note that, thanks to the use of virtualisation, no strong
request are made on the operating system since it allows our
evaluation scripts to operate as indicated in the submission
manual: <http://mcc.lip6.fr/pdf/submission-manual.pdf>http://mcc.lip6.fr/pdf/submission-manual.pdf
Also note that you can still submit papers to the Petri Nets and ACSD
2012 associated workshops. The deadline is the 15th of April. For
more information
see <http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/workshops.shtml>http://www.informatik.uni-hamburg.de/TGI/events/pn-acsd2012/workshops.shtml
Best regards.
Fabrice
--
--------------------------------------------------------------------------
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] ]]
