Animation and exchanges in the Petri Nets community

[Fabrice Kordon <address@concealed>]

        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/