From 11487a5fe6560d7861932eb6719b75c0d9cbab39 Mon Sep 17 00:00:00 2001
From: Mike Becker <universe@uap-core.de>
Date: Sun, 8 Dec 2019 11:10:46 +0100
Subject: [PATCH] fixes non-deterministic selection of enabled transitions

---
 pom.xml                                            | 22 +++++++++++++++++++++-
 .../java/de/yasc/example/petrinet/Petrinet.java    |  4 ++--
 2 files changed, 23 insertions(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index 4c2b205..e4b00f0 100644
--- a/pom.xml
+++ b/pom.xml
@@ -1,5 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
-<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
     <modelVersion>4.0.0</modelVersion>
     <groupId>de.yasc.example</groupId>
     <artifactId>petrinet</artifactId>
@@ -10,4 +11,23 @@
         <maven.compiler.source>11</maven.compiler.source>
         <maven.compiler.target>11</maven.compiler.target>
     </properties>
+    <build>
+        <plugins>
+            <plugin>
+                <groupId>org.codehaus.mojo</groupId>
+                <artifactId>exec-maven-plugin</artifactId>
+                <version>1.6.0</version>
+                <executions>
+                    <execution>
+                        <goals>
+                            <goal>java</goal>
+                        </goals>
+                    </execution>
+                </executions>
+                <configuration>
+                    <mainClass>de.yasc.example.petrinet.Main</mainClass>
+                </configuration>
+            </plugin>
+        </plugins>
+    </build>
 </project>
\ No newline at end of file
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<Integer>();
         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]);
     }
-- 
1.8.3.1