diff --git a/src/main/java/de/tudresden/inf/st/pnml/Main.java b/src/main/java/de/tudresden/inf/st/pnml/Main.java index 83d8b5827b40af828615523a980368121dc294e3..a09917651d9684b3452557944707764deadfbc2a 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/Main.java +++ b/src/main/java/de/tudresden/inf/st/pnml/Main.java @@ -25,8 +25,9 @@ public class Main { public static void main(String[] args) { - String fileName = "src/main/resources/minimal.pnml"; +// String fileName = "src/main/resources/minimal.pnml"; // String fileName = "src/main/resources/philo.pnml"; + String fileName = "src/main/resources/haddadin_automaton_flat.pnml"; List<PetriNet> petriNets = parsePnml(fileName); @@ -67,6 +68,7 @@ public class Main { logger.info(document.toPNML()); } catch (ImportException | InvalidIDException e) { logger.error("Unable to import PNML document from file '{}'", fileName); + logger.error("Exception was thrown!", e); System.exit(-1); }