petri_net (0.9.4)

cclausen
2014-05-16T13:27:54Z

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