diff --git a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java index 0f1f0c9ab820cd039e50527fa520ae01456c0cc1..a747c5a8f9ce572de3fb1c8584cca0946f3ab57d 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java +++ b/src/main/java/de/tudresden/inf/st/pnml/splitter/export/PnmlExporter.java @@ -45,11 +45,20 @@ public class PnmlExporter { Set<ArcHLAPI> convertedArcs = convertAndIncludeArcs(petriNet, convertedPages, convertedPlaces, convertedTransitions, convertedRefTransitions, convertedRefPlaces); // export the created objects to pnml - String targetPath = UUID.randomUUID().toString() + fileNameSuffix + ".pnml"; + String homeDirectory = System.getProperty("user.dir"); + String targetPath = homeDirectory + "/temp/pnml/" + UUID.randomUUID().toString() + fileNameSuffix + ".pnml"; boolean hasFailed = false; + + + try { File myObj = new File(targetPath); + + if (!myObj.exists()){ + myObj.getParentFile().mkdirs(); + } + if (myObj.createNewFile()) { // logger.info("File created: " + myObj.getName()); } else {