From ad6d6d99cd7e31acbd8a65c60697293f4844d20e Mon Sep 17 00:00:00 2001 From: SebastianEbert <sebastian.ebert@tu-dresden.de> Date: Fri, 29 Oct 2021 12:14:20 +0200 Subject: [PATCH] clean up --- src/main/java/de/tudresden/inf/st/pnml/Main.java | 6 ++++-- src/main/resources/placeRefNet.pnml | 4 ---- src/main/resources/transitionRefNet.pnml | 4 ---- 3 files changed, 4 insertions(+), 10 deletions(-) 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 859b831..2e48446 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/Main.java +++ b/src/main/java/de/tudresden/inf/st/pnml/Main.java @@ -1,6 +1,8 @@ package de.tudresden.inf.st.pnml; -import de.tudresden.inf.st.pnml.jastadd.model.*; +import de.tudresden.inf.st.pnml.jastadd.model.Marking; +import de.tudresden.inf.st.pnml.jastadd.model.PetriNet; + import fr.lip6.move.pnml.framework.general.PNType; import fr.lip6.move.pnml.framework.hlapi.HLAPIRootClass; import fr.lip6.move.pnml.framework.utils.ModelRepository; @@ -26,7 +28,7 @@ public class Main { // String fileName = "src/main/resources/minimal.pnml"; // String fileName = "src/main/resources/philo.pnml"; - String fileName = "src/main/resources/placeRefNet.pnml"; + String fileName = "src/main/resources/haddadin_automaton_flat.pnml"; List<PetriNet> petriNets = parsePnml(fileName); diff --git a/src/main/resources/placeRefNet.pnml b/src/main/resources/placeRefNet.pnml index c7e40a5..5b9a628 100644 --- a/src/main/resources/placeRefNet.pnml +++ b/src/main/resources/placeRefNet.pnml @@ -32,10 +32,6 @@ </graphics> </transition> <referencePlace id="rp1" ref="p-E2D0-BCF6F-2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc1</location> - <subnet>s1</subnet> - </toolspecific> <name> <text>rp1</text> <graphics> diff --git a/src/main/resources/transitionRefNet.pnml b/src/main/resources/transitionRefNet.pnml index 4fccb61..95c2d8d 100644 --- a/src/main/resources/transitionRefNet.pnml +++ b/src/main/resources/transitionRefNet.pnml @@ -21,10 +21,6 @@ </graphics> </place> <referenceTransition id="rt1" ref="t-E2D0-BCFAC-4"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc1</location> - <subnet>s1</subnet> - </toolspecific> </referenceTransition> <arc id="rin" source="pRefSrc" target="rt1"> </arc> -- GitLab