Dear Petri-netters,
This is our pleasure to publish the «surprise models» of 2024 for the Model
Checking Contest at :
https://mcc.lip6.fr/2024/models.php
The results of the competition will be provided on June 25, 2024 at Geneva
during the week of the Petri Net conference.
Best regards.
Fabrice on behalf of the Model board (P. Bouvier, H. Garavel and Q. Nivon)
--------------------------------------------------------------------------------------
Fabrice Kordon Sorbonne Université
Campus Pierre & Marie Curie
LIP6/MoVe, Office 26-00/202 or 26-25/216
4 place Jussieu, 75252 Paris Cedex 05
http://lip6.fr/Fabrice.Kordon/
