petri_net (0.7.2)

cclausen
2014-01-30T16:23:19Z

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