From 776e581b9a47400c1d07a341ce359e03c01ab1fb Mon Sep 17 00:00:00 2001
From: SebastianEbert <sebastian.ebert@tu-dresden.de>
Date: Fri, 29 Jul 2022 17:09:21 +0200
Subject: [PATCH] fixed net id bug
---
src/main/java/de/tudresden/inf/st/pnml/splitter/Main.java | 4 ++--
.../postprocessing/GlobalToLocalNetsPostProcessor.java | 3 +++
2 files changed, 5 insertions(+), 2 deletions(-)
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 b8f85f2..1c30c57 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
@@ -23,8 +23,8 @@ public class Main {
return;
}
- // List<PetriNet> petriNets = PnmlParser.parsePnml("pnml-relast-splitter/src/main/nets/topicTest1.pnml");
- List<PetriNet> petriNets = PnmlParser.parsePnml(inputPath);
+ // List<PetriNet> petriNets = PnmlParser.parsePnml("src/main/nets/topicTest1.pnml");
+ List<PetriNet> petriNets = PnmlParser.parsePnml(inputPath);
List<List<PetriNet>> disconnectedPetriNets = new ArrayList<>();
diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/GlobalToLocalNetsPostProcessor.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/GlobalToLocalNetsPostProcessor.java
index 4a8edfb..c4ba904 100644
--- a/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/GlobalToLocalNetsPostProcessor.java
+++ b/src/main/java/de/tudresden/inf/st/pnml/splitter/postprocessing/GlobalToLocalNetsPostProcessor.java
@@ -46,12 +46,15 @@ public class GlobalToLocalNetsPostProcessor implements PostProcessor<PetriNet> {
// serialize for deep copy
String serializedNetPath = PnmlExporter.serializeToPnmlFile(serviceCuttedNet, "-pre-split.pnml");
+ int netSuffix = 0;
+
// filter deep copy elements by location
for (String location : locations) {
List<PetriNet> reParsedPetriNets = PnmlParser.parsePnml(serializedNetPath);
for (PetriNet pn : reParsedPetriNets) {
PetriNet separatedNet = createdSeparatedNetByLocation(pn, location);
+ separatedNet.setId(separatedNet.getType() + "-" + netSuffix);
pns.add(separatedNet);
}
}
--
GitLab