Subject: Animation and exchanges in the Petri Nets community
List archive
[PN-world] Model Checking Contest, results are out
- From: address@concealed
- To: address@concealed
- Subject: [PN-world] Model Checking Contest, results are out
- Date: Wed, 24 Jun 2026 22:58:06 +0200
Dear Petri-Neters,
We are pleased to tell you that detailed results of the Model Checking
Contest are out at the following URL :
https://mcc.lip6.fr/2026/results.php
Thank you very much for all the participating tools.
Best regards.
Fabrice & Silvano
- [PN-world] Model Checking Contest, results are out, petri-net-world, 06/24/2026
Archive powered by MHonArc 2.6.24.