]> uap-core.de Git - petrinet.git/shortlog
petrinet.git
2019-12-08 Mike Beckerfixes non-deterministic selection of enabled transitions master
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