Dear colleagues,
Since 2011, the Model Checking Contest is building up a collection of
Petri-net models produced from real-life examples, either from
research or industry. This collection of models has already been
used in more than 30 scientific papers.
For the 2016 edition of the Model Checking Contest, 11 new models
have been added to the collection. 7 of these models are parameterized,
leading to a total of 139 (non-parameterized) instances. Five of these
models preserve higher-level information: one is provided as a colored
Petri net and four are provided as Nested-Unit Petri nets.
These models originate from various application domains: avionics,
bioinformatics, communication protocols, cloud computing, cryptography,
distributed computing, medical devices, etc.
The authors of the 2016 models are:
Benoît Barbot (ENS Cachan, France)
Xavier Etchevers (Orange Labs, Grenoble, France)
Hugues Evrard (INRIA Grenoble, France)
Hubert Garavel (INRIA Grenoble, France)
Monika Heiner (Univ. Cottbus, Germany)
Fatma Jebali (INRIA Grenoble, France)
Eric Jenn (Thales Avionics, Toulouse, France)
Fabrice Kordon (Univ. P. & M. Curie, Paris, France)
Frédéric Lang (INRIA Grenoble, France)
Marta Kwiatkowska (Univ. of Oxford, UK)
Gwen Salaün (Univ. Grenoble Alpes, France)
Wendelin Serwe (INRIA Grenoble, France)
Tatiana Shmeleva (Odessa Nat.Academy of Telecom. Ukraine)
Dmitry Zaitsev (Int. Humanitarian Univ., Odessa, Ukraine)
The models are available online: http://mcc.lip6.fr/models.php
Thank you for those who submitted models this year and thus enriched
the benchmark. We remind that you are free (and even encouraged) to
reuse these models for your own benchmarks. The final archive with
formula for the model checking contest will be made available
around the Petri net conference late June.
Best regards.
----
[[ 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] ]]
