Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Fabrice Kordon via Petrinet <address@concealed>
- To: address@concealed
- Subject: [PN-world] (PN) Model Checking Contest 2024 — publication of surprise models
- Date: Sun, 16 Jun 2024 18:23:39 +0200
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=informatik.uni-hamburg.de header.s=rrzs003 header.b=mizy6NsE; dmarc=pass (policy=none) header.from=uni-hamburg.de; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.113 as permitted sender) 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/
- [PN-world] (PN) Model Checking Contest 2024 — publication of surprise models, Fabrice Kordon via Petrinet, 06/24/2024
Archive powered by MHonArc 2.6.19+.