1. CheckPN
- What?
CheckPn is a simple model-checker for Petri Nets, built using Spot.
- Why?
It was created as a tutorial for InterfacingSpot.
- Where?
The tarball is here.
- How?
Documentation is included in the tarball, and can also be browsed on-line.
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.
CheckPn (last edited 2005-01-31 14:14:13 by src1)