C

checkpn

Petri-Net model checker (obsolete demo for Spot)