From a1889eeb7cf8f170997b18f4eab731ec3f163189 Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Tue, 23 Jun 2020 08:49:38 +0200
Subject: [PATCH] use minimal example
---
.../java/de/tudresden/inf/st/pnml/Main.java | 2 +-
src/main/resources/minimal.pnml | 64 +++++++++++++++++++
2 files changed, 65 insertions(+), 1 deletion(-)
create mode 100644 src/main/resources/minimal.pnml
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 9d98c9f..91a499f 100644
--- a/src/main/java/de/tudresden/inf/st/pnml/Main.java
+++ b/src/main/java/de/tudresden/inf/st/pnml/Main.java
@@ -22,7 +22,7 @@ public class Main {
public static void main(String[] args) {
- String fileName = "src/main/resources/philo.pnml";
+ String fileName = "src/main/resources/minimal.pnml";
Path file = Paths.get(fileName);
diff --git a/src/main/resources/minimal.pnml b/src/main/resources/minimal.pnml
new file mode 100644
index 0000000..8c6e286
--- /dev/null
+++ b/src/main/resources/minimal.pnml
@@ -0,0 +1,64 @@
+<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
+ <net id="n-E2D0-BCF46-0" type ="http://www.pnml.org/version-2009/grammar/ptnet">
+ <name>
+ <text>minimal</text>
+ </name>
+ <page id="g-E2D0-BCF68-1">
+ <place id="p-E2D0-BCF6F-2">
+ <name>
+ <text>p0</text>
+ <graphics>
+ <offset x="0" y="-10" />
+ </graphics>
+ </name>
+ <initialMarking>
+ <text>1</text>
+ </initialMarking>
+ <graphics>
+ <position x="30" y="50"/>
+ </graphics>
+ </place>
+ <place id="p-E2D0-BCF9D-3">
+ <name>
+ <text>p1</text>
+ <graphics>
+ <offset x="0" y="-10" />
+ </graphics>
+ </name>
+ <graphics>
+ <position x="635" y="90"/>
+ </graphics>
+ </place>
+ <transition id="t-E2D0-BCFAC-4">
+ <name>
+ <text>t0</text>
+ <graphics>
+ <offset x="0" y="0" />
+ </graphics>
+ </name>
+ <graphics>
+ <position x="300" y="50"/>
+ </graphics>
+ </transition>
+ <transition id="t-E2D0-BCFBD-5">
+ <name>
+ <text>t1</text>
+ <graphics>
+ <offset x="0" y="0" />
+ </graphics>
+ </name>
+ <graphics>
+ <position x="285" y="205"/>
+ </graphics>
+ </transition>
+ <arc id="e-E2D0-BCFCD-6" source="t-E2D0-BCFBD-5" target="p-E2D0-BCF6F-2">
+ </arc>
+ <arc id="e-E2D0-BCFDB-7" source="p-E2D0-BCF9D-3" target="t-E2D0-BCFBD-5">
+ </arc>
+ <arc id="e-E2D0-BCFF3-8" source="t-E2D0-BCFAC-4" target="p-E2D0-BCF9D-3">
+ </arc>
+ <arc id="e-E2D0-BCFFB-9" source="p-E2D0-BCF6F-2" target="t-E2D0-BCFAC-4">
+ </arc>
+ </page>
+ </net>
+</pnml>
--
GitLab