Skip to content
Snippets Groups Projects
Commit ad6d6d99 authored by Sebastian Ebert's avatar Sebastian Ebert
Browse files

clean up

parent 4bc590d8
No related branches found
No related tags found
1 merge request!1added ref-place and ref-transition execution support
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);
......
......@@ -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>
......
......@@ -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>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment