diff --git a/src/main/jastadd/base/Copy.jadd b/src/main/jastadd/base/Copy.jadd
new file mode 100644
index 0000000000000000000000000000000000000000..8df0ddcd7bd7ae8e45db7c7fe67c35455e8d74ee
--- /dev/null
+++ b/src/main/jastadd/base/Copy.jadd
@@ -0,0 +1,25 @@
+aspect Graphviz{
+
+    syn InputSignalClause InputSignalClause.deepCopy(){
+
+            InputSignalClause copy = new InputSignalClause();
+
+            for(Disjunction d : this.getDisjunctions()){
+                Disjunction dCopy = new Disjunction();
+
+                for(Literal l : d.getLiterals()){
+                    if(l.isNegativeLiteral()){
+                        NegativeLiteral nl = new NegativeLiteral();
+                        nl.setName(l.getName());
+                        dCopy.addLiteral(nl);
+                    }else{
+                        PositiveLiteral pl = new PositiveLiteral();
+                        pl.setName(l.getName());
+                        dCopy.addLiteral(pl);
+                    }
+                }
+                copy.addDisjunction(dCopy);
+            }
+            return copy;
+    }
+}
\ No newline at end of file
diff --git a/src/main/jastadd/base/parsing/ToolSpecificsParser.jadd b/src/main/jastadd/base/parsing/ToolSpecificsParser.jadd
index 8d5f2bd670cb6915cff9151adb7ca99e6ff5e477..4d361cd8fbeecffdc76869ea0172a0f30e9b57c3 100644
--- a/src/main/jastadd/base/parsing/ToolSpecificsParser.jadd
+++ b/src/main/jastadd/base/parsing/ToolSpecificsParser.jadd
@@ -432,6 +432,7 @@ aspect ToolSpecificsParser{
                 if (toolInfo.getFormattedXMLBuffer().indexOf(PnmlConstants.SUBNET_KEY) > 0 ||
                         toolInfo.getFormattedXMLBuffer().indexOf(PnmlConstants.COMMUNICATOR) > 0 ||
                         toolInfo.getFormattedXMLBuffer().indexOf(PnmlConstants.TYPE_KEY) > 0 ||
+                        toolInfo.getFormattedXMLBuffer().indexOf(PnmlConstants.INPUT_SIGNALS_DEF) > 0 ||
                         toolInfo.getFormattedXMLBuffer().indexOf(PnmlConstants.ARC_TYPE_KEY) > 0) {
                     ti = toolInfo;
                     break;
diff --git a/src/main/java/de/tudresden/inf/st/pnml/base/Main.java b/src/main/java/de/tudresden/inf/st/pnml/base/Main.java
index ab1fc8bd601ea5c5d2687a2f6bdf3594bc5975b9..8f66c014adebe543ac1c25029184eb8ab9c8f0d2 100644
--- a/src/main/java/de/tudresden/inf/st/pnml/base/Main.java
+++ b/src/main/java/de/tudresden/inf/st/pnml/base/Main.java
@@ -15,6 +15,7 @@ public class Main {
         // Nothing to do here
         // List<PetriNet> petriNets = PnmlParser.parsePnml("...");
         // printNet(petriNets.get(0), false, false);
+
     }
 
     /*public static void printNet(PetriNet petriNet, boolean withArcs, boolean withToolSpecifics) {