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