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

first version of service split

parent 7c109401
No related branches found
No related tags found
No related merge requests found
Expand all Show whitespace changes
Inline Side-by-side
src/main/java/de/tudresden/inf/st/pnml/Main.java
+ 1
− 1
View file @ 4ae3aa34
...@@ -24,7 +24,7 @@ public class Main { ...@@ -24,7 +24,7 @@ public class Main {
return; return;
}*/ }*/
List<PetriNet> petriNets = PnmlParser.parsePnml("src/main/nets/testNet5.pnml"); List<PetriNet> petriNets = PnmlParser.parsePnml("src/main/nets/serviceTestNet1.pnml");
//List<PetriNet> petriNets = PnmlParser.parsePnml(inputPath); //List<PetriNet> petriNets = PnmlParser.parsePnml(inputPath);
List<List<PetriNet>> disconnectedPetriNets = new ArrayList<>(); List<List<PetriNet>> disconnectedPetriNets = new ArrayList<>();
......
src/main/nets/serviceTestNet1.pnml
+ 7
− 54
View file @ 4ae3aa34
...@@ -11,32 +11,6 @@ ...@@ -11,32 +11,6 @@
<location>node-1</location> <location>node-1</location>
<subnet>subnet-1</subnet> <subnet>subnet-1</subnet>
<type>discretePlaceType</type> <type>discretePlaceType</type>
<outputsignalbindings>
<outputsignalbinding>
<placeID>p1</placeID>
<outputsignalID>os2</outputsignalID>
<initialvalue>1</initialvalue> <!-- -1 = undefined -->
<outputmappings>
<equal>
<value>1</value>
<result>3</result>
</equal>
<equal>
<value>0</value>
<result>2</result>
</equal>
<threshold>
<value>6</value>
<result>0</result>
</threshold>
<range>
<upperbound>5</upperbound>
<lowerbound>3</lowerbound>
<result>1</result>
</range>
</outputmappings>
</outputsignalbinding>
</outputsignalbindings>
</toolspecific> </toolspecific>
<name> <name>
<text>p1</text> <text>p1</text>
...@@ -56,28 +30,6 @@ ...@@ -56,28 +30,6 @@
<location>node-2</location> <location>node-2</location>
<subnet>subnet-2</subnet> <subnet>subnet-2</subnet>
<type>discretePlaceType</type> <type>discretePlaceType</type>
<outputsignalbindings>
<outputsignalbinding>
<placeID>p2</placeID>
<outputsignalID>os1</outputsignalID>
<initialvalue>4</initialvalue> <!-- -1 = undefined -->
<outputmappings>
<equal>
<value>1</value>
<result>1</result>
</equal>
<threshold>
<value>6</value>
<result>0</result>
</threshold>
<range>
<upperbound>5</upperbound>
<lowerbound>3</lowerbound>
<result>1</result>
</range>
</outputmappings>
</outputsignalbinding>
</outputsignalbindings>
</toolspecific> </toolspecific>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
</toolspecific> </toolspecific>
...@@ -94,15 +46,12 @@ ...@@ -94,15 +46,12 @@
<position x="635" y="90"/> <position x="635" y="90"/>
</graphics> </graphics>
</place> </place>
<place id="p3"> <place id="p3">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>node-2</location> <location>node-2</location>
<subnet>subnet-2</subnet> <subnet>subnet-2</subnet>
<type>discretePlaceType</type> <type>discretePlaceType</type>
</toolspecific> </toolspecific>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
</toolspecific>
<name> <name>
<text>p3</text> <text>p3</text>
<graphics> <graphics>
...@@ -110,13 +59,12 @@ ...@@ -110,13 +59,12 @@
</graphics> </graphics>
</name> </name>
<initialMarking> <initialMarking>
<text>0</text> <text>1</text>
</initialMarking> </initialMarking>
<graphics> <graphics>
<position x="635" y="90"/> <position x="30" y="50"/>
</graphics> </graphics>
</place> </place>
<place id="p4"> <place id="p4">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>node-1</location> <location>node-1</location>
...@@ -173,6 +121,11 @@ ...@@ -173,6 +121,11 @@
<position x="300" y="50"/> <position x="300" y="50"/>
</graphics> </graphics>
</transition> </transition>
<arc id="arc-p1-t1" source="p1" target="t1">
</arc>
<arc id="arc-t1-p2" source="t1" target="p2">
</arc>
<arc id="arc-p3-t2" source="p3" target="t2"> <arc id="arc-p3-t2" source="p3" target="t2">
</arc> </arc>
<arc id="arc-t2-p4" source="t2" target="p4"> <arc id="arc-t2-p4" source="t2" target="p4">
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment