transmission of signal infos

src/main/java/de/tudresden/inf/st/pnml/splitter/Main.java

@@ -24,12 +24,19 @@ public class Main {
         }
 
         List<PetriNet> petriNets = PnmlParser.parsePnml(inputPath, false);
+        JastAddList<ToolInfo> ti = petriNets.get(0).getToolspecificList().treeCopy();
 
         List<List<PetriNet>> disconnectedPetriNets = new ArrayList<>();
         GlobalToLocalNetsPostProcessor processor = new GlobalToLocalNetsPostProcessor();
 
         for (PetriNet pn : petriNets) {
             List<PetriNet> pnl = processor.disconnectNets(pn);
+
+            for(PetriNet lrpn : pnl){
+                lrpn.getToolspecificList().addAll(ti);
+                lrpn.flushTreeCache();
+            }
+
             disconnectedPetriNets.add(pnl);
         }