From 518a4529a4a1e182decbbb58da21fcb8dde249ef Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Wed, 24 Jun 2020 13:08:40 +0200
Subject: [PATCH] use haddadin automaton as example PN, print PNML framework
error messages
---
src/main/java/de/tudresden/inf/st/pnml/Main.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
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 83d8b58..a099176 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);
}
--
GitLab