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 b8f85f221ebbae50aaf3e35c833cf4c635880b72..1c30c579c4d022af91f2ea9c4e9b04d3fbd72668 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 4a8edfba25aac033e4ba7c004ee8e1b64920b985..c4ba90477907c70f04495132a519d69a6695511d 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); } }