Subject: Animation and exchanges in the Petri Nets community
List archive
[PN-world] Model Checking Contest, publication of surprise models
- From: address@concealed
- To: address@concealed
- Subject: [PN-world] Model Checking Contest, publication of surprise models
- Date: Wed, 17 Jun 2026 13:48:56 +0200
Dear all, you will find at the URl below the surprise models for 2026
https://mcc.lip6.fr/2026/models.php
Thank yo the authors of these models.
Best regards.
Fabrice & Silvano
- [PN-world] Model Checking Contest, publication of surprise models, petri-net-world, 06/17/2026
Archive powered by MHonArc 2.6.24.