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 9d98c9f14c5512f3ee847fcd144119b6809be034..91a499f4fbea71db4661573153d55415f285e22a 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 0000000000000000000000000000000000000000..8c6e286d41c2909eabfe04091b37e283352a46c9 --- /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>