diff --git a/src/main/java/de/tudresden/inf/st/pnml/Main.java b/src/main/java/de/tudresden/inf/st/pnml/Main.java
index 859b831c6130203f18a462b452c37cfed7c10cc8..2e48446758f6cde17b37a74c5f7624ad72a293f5 100644
--- a/src/main/java/de/tudresden/inf/st/pnml/Main.java
+++ b/src/main/java/de/tudresden/inf/st/pnml/Main.java
@@ -1,6 +1,8 @@
 package de.tudresden.inf.st.pnml;
 
-import de.tudresden.inf.st.pnml.jastadd.model.*;
+import de.tudresden.inf.st.pnml.jastadd.model.Marking;
+import de.tudresden.inf.st.pnml.jastadd.model.PetriNet;
+
 import fr.lip6.move.pnml.framework.general.PNType;
 import fr.lip6.move.pnml.framework.hlapi.HLAPIRootClass;
 import fr.lip6.move.pnml.framework.utils.ModelRepository;
@@ -26,7 +28,7 @@ public class Main {
 
 //    String fileName = "src/main/resources/minimal.pnml";
 //    String fileName = "src/main/resources/philo.pnml";
-    String fileName = "src/main/resources/placeRefNet.pnml";
+    String fileName = "src/main/resources/haddadin_automaton_flat.pnml";
 
     List<PetriNet> petriNets = parsePnml(fileName);
 
diff --git a/src/main/resources/placeRefNet.pnml b/src/main/resources/placeRefNet.pnml
index c7e40a534729ef834615a95705c9e82da513a753..5b9a62865dfefe19dc4242c57e1743fd16bac14a 100644
--- a/src/main/resources/placeRefNet.pnml
+++ b/src/main/resources/placeRefNet.pnml
@@ -32,10 +32,6 @@
                     </graphics>
                 </transition>
                 <referencePlace id="rp1" ref="p-E2D0-BCF6F-2">
-                    <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-                        <location>loc1</location>
-                        <subnet>s1</subnet>
-                    </toolspecific>
                     <name>
                         <text>rp1</text>
                         <graphics>
diff --git a/src/main/resources/transitionRefNet.pnml b/src/main/resources/transitionRefNet.pnml
index 4fccb61f2aa05869eacdf1f817a2049f78572c17..95c2d8d49cb42fdb94ee2a5ca094d06b3d047825 100644
--- a/src/main/resources/transitionRefNet.pnml
+++ b/src/main/resources/transitionRefNet.pnml
@@ -21,10 +21,6 @@
                     </graphics>
                 </place>
                 <referenceTransition id="rt1" ref="t-E2D0-BCFAC-4">
-                    <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
-                        <location>loc1</location>
-                        <subnet>s1</subnet>
-                    </toolspecific>
                 </referenceTransition>
                 <arc id="rin" source="pRefSrc" target="rt1">
                 </arc>