renames PetriNet to Petrinet and uses the parser as a resource in Main
[petrinet.git] / src /
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