rewored major parts of internal net execution (todo: communication

src/main/jastadd/base/Copy.jadd

+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

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;

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) {