petri_net (0.2.0)

cclausen
2013-12-26T22:32:20Z

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