petri_net (0.6.0)

cclausen
2014-01-08T09:36:27Z

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