X-Git-Url: https://develop.uap-core.de/gitweb/petrinet.git/blobdiff_plain/685b0bc0c29700edd27a1ae148b75b417947b8ac..HEAD:/src/main/java/de/yasc/example/petrinet/Petrinet.java diff --git a/src/main/java/de/yasc/example/petrinet/Petrinet.java b/src/main/java/de/yasc/example/petrinet/Petrinet.java index f8882f2..994a037 100644 --- a/src/main/java/de/yasc/example/petrinet/Petrinet.java +++ b/src/main/java/de/yasc/example/petrinet/Petrinet.java @@ -74,7 +74,7 @@ public final class Petrinet { if (enabledTransitions.isEmpty()) { return false; } else { - transitions.get(prng.nextInt(enabledTransitions.size())).fire(); + enabledTransitions.get(prng.nextInt(enabledTransitions.size())).fire(); return true; } } @@ -92,7 +92,7 @@ public final class Petrinet { public Integer[] getMarking() { final var marking = new ArrayList(); for (int p = 0 ; p < places.length ; p++) { - Collections.nCopies(places[p].tokens, p).forEach(marking::add); + marking.addAll(Collections.nCopies(places[p].tokens, p)); } return marking.toArray(new Integer[0]); }