develop.uap-core.de/git
/
petrinet.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
petrinet.git
2019-12-08
Mike Becker
fixes non-deterministic selection of enabled transitions
master
commit
|
commitdiff
|
tree
|
snapshot
2019-12-05
Mike Becker
renames PetriNet to Petrinet and uses the parser as...
commit
|
commitdiff
|
tree
|
snapshot
2019-12-05
Mike Becker
basic petri net simulation for a fixed number of steps
commit
|
commitdiff
|
tree
|
snapshot
develop.uap-core.de/git / petrinet.git / shortlog