Dear all,
This is a second call for the Model Checking Contest @ PETRI NET
2012. All information to operate tool integration is already
available on the web site for about one month. We just posted a full
list of properties from which some will be randomly selected for the
contest (otherwise, computation will be too long).
Submitted 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
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] ]]
