From 9aa8b51475386a87c6649cf2d55097b71f3c2128 Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Tue, 24 Oct 2023 18:30:34 +0200
Subject: [PATCH] transmission of signal infos
---
src/main/java/de/tudresden/inf/st/pnml/splitter/Main.java | 7 +++++++
1 file changed, 7 insertions(+)
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 d5fd7e2..c3631b3 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);
}
--
GitLab