petri_net (0.7.9)

cclausen
2014-03-10T15:10:21Z

You can create Petri Nets and do some calculations with them like generating the Reachability Graph