petri_net (0.8.0)

cclausen
2014-03-17T12:22:50Z

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