CheckPn is a simple model-checker for Petri Nets, built using Spot.
It was created as a tutorial for InterfacingSpot.
The tarball is here.
Documentation is included in the tarball, and can also be browsed on-line.
- It has not yet been updated to match recent version of Spot.
CheckPn (last edited 2012-10-27 10:06:17 by AlexandreDuretLutz)