petrinet.git
2019-12-05 Mike Beckerrenames PetriNet to Petrinet and uses the parser as...
2019-12-05 Mike Beckerbasic petri net simulation for a fixed number of steps