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.

But?
It has not yet been updated to match recent version of Spot.

CheckPn (last edited 2012-10-27 10:06:17 by AlexandreDuretLutz)

All text is available under the terms of the GNU Free Documentation License, see SpotWikiLicense for details.