fixes non-deterministic selection of enabled transitions master
authorMike Becker <universe@uap-core.de>
Sun, 8 Dec 2019 10:10:46 +0000 (11:10 +0100)
committerMike Becker <universe@uap-core.de>
Sun, 8 Dec 2019 10:10:46 +0000 (11:10 +0100)
commit11487a5fe6560d7861932eb6719b75c0d9cbab39
treec383cedefa6dfdbd40a166af86e3d70cab70de6e
parent685b0bc0c29700edd27a1ae148b75b417947b8ac
fixes non-deterministic selection of enabled transitions
pom.xml
src/main/java/de/yasc/example/petrinet/Petrinet.java