renames PetriNet to Petrinet and uses the parser as a resource in Main

[petrinet.git] / 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
similarity index 97%
rename from src/main/java/de/yasc/example/petrinet/PetriNet.java
rename to src/main/java/de/yasc/example/petrinet/Petrinet.java
index 010a279..f8882f2 100644 (file)
--- a/src/main/java/de/yasc/example/petrinet/PetriNet.java
+++ b/src/main/java/de/yasc/example/petrinet/Petrinet.java
@@ -7,7 +7,7 @@ import java.util.List;
 import java.util.Random;
 import java.util.stream.Collectors;
 
-public final class PetriNet {
+public final class Petrinet {
 
     private static final class Place {
 
@@ -51,7 +51,7 @@ public final class PetriNet {
     final private Place[] places;
     final private List<Transition> transitions;
 
-    public PetriNet(int places) {
+    public Petrinet(int places) {
         this.places = new Place[places];
         for (int i = 0 ; i < places ; i++)
             this.places[i] = new Place();