petrinet.git
2019-12-05 Mike Beckerbasic petri net simulation for a fixed number of steps