diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/Main.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/Main.java index d5fd7e23caf71e1aafb0d4783b526d0d2c6b982e..c3631b3720d81dd86375d8d7142c4fdcccc778bf 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/splitter/Main.java +++ b/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); }