diff --git a/src/main/nets/TestNet1.pnml b/src/main/nets/TestNet1.pnml new file mode 100644 index 0000000000000000000000000000000000000000..30e4c57e2dca82a54342ff54e3d1b32502a3ac10 --- /dev/null +++ b/src/main/nets/TestNet1.pnml @@ -0,0 +1,72 @@ +<?xml version="1.0" encoding="UTF-8"?> +<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>TopicNet</text> + </name> + <page id="top"> + <page id="sourcePage"> + <place id="pub1"> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <node>n1</node> + <subnet>s1</subnet> + </toolspecific> + <name> + <text>pub1</text> + <graphics> + <offset x="0" y="0" /> + </graphics> + </name> + <graphics> + <position x="0" y="0" /> + </graphics> + </place> + </page> + <transition id="sampleTopic"> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <type>topic</type> + <topicName>sampleTopic</topicName> + <publishers> + <publisher> + <id>pub1</id> + <limit>10</limit> + </publisher> + </publishers> + <subscribers> + <subscriber> + <id>sub1</id> + <limit>10</limit> + </subscriber> + </subscribers> + </toolspecific> + <name> + <text>sampleTopic</text> + <graphics> + <offset x="0" y="0" /> + </graphics> + </name> + <graphics> + <position x="0" y="0" /> + </graphics> + </transition> + <page id="targetPage"> + <place id="sub1"> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <node>n3</node> + <subnet>s3</subnet> + </toolspecific> + <name> + <text>outRefPlace</text> + <graphics> + <offset x="0" y="0" /> + </graphics> + </name> + <graphics> + <position x="0" y="0" /> + </graphics> + </place> + </page> + </page> + </net> +</pnml> diff --git a/src/main/nets/TestNet2.pnml b/src/main/nets/TestNet2.pnml new file mode 100644 index 0000000000000000000000000000000000000000..63df430a0a3f6a1b31a913206a7e1956885c25ff --- /dev/null +++ b/src/main/nets/TestNet2.pnml @@ -0,0 +1,111 @@ +<?xml version="1.0" encoding="UTF-8"?> +<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>ServiceNet</text> + </name> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <communicators> + <communicator> + <cType>serviceClient</cType> + <cSubnet>s1</cSubnet> + </communicator> + <communicator> + <cType>serviceServer</cType> + <cSubnet>s2</cSubnet> + </communicator> + </communicators> + </toolspecific> + <page id="top"> + <page id="sourcePage"> + <place id="req1"> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <node>n1</node> + <subnet>s1</subnet> + </toolspecific> + <name> + <text>req1</text> + <graphics> + <offset x="0" y="0" /> + </graphics> + </name> + <graphics> + <position x="0" y="0" /> + </graphics> + </place> + <place id="res1"> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <node>n1</node> + <subnet>s1</subnet> + </toolspecific> + <name> + <text>res1</text> + <graphics> + <offset x="0" y="0" /> + </graphics> + </name> + <graphics> + <position x="0" y="0" /> + </graphics> + </place> + </page> + <transition id="serviceTransition"> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <type>serviceTransitionType</type> + <serviceName>sampleService</serviceName> + <serverInput>serverIn</serverInput> + <serverOutput>serverOut</serverOutput> + <channels> + <channel> + <cid>c1</cid> + <request>req1</request> + <response>res1</response> + </channel> + </channels> + </toolspecific> + <name> + <text>serviceTransition</text> + <graphics> + <offset x="0" y="0" /> + </graphics> + </name> + <graphics> + <position x="0" y="0" /> + </graphics> + </transition> + <page id="targetPage"> + <place id="serverIn"> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <node>n2</node> + <subnet>s2</subnet> + </toolspecific> + <name> + <text>serverIn</text> + <graphics> + <offset x="0" y="0" /> + </graphics> + </name> + <graphics> + <position x="0" y="0" /> + </graphics> + </place> + <place id="serverOut"> + <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> + <node>n2</node> + <subnet>s2</subnet> + </toolspecific> + <name> + <text>serverOut</text> + <graphics> + <offset x="0" y="0" /> + </graphics> + </name> + <graphics> + <position x="0" y="0" /> + </graphics> + </place> + </page> + </page> + </net> +</pnml> \ No newline at end of file diff --git a/src/main/nets/inputSignalNet.pnml b/src/main/nets/inputSignalNet.pnml deleted file mode 100644 index 3d10649fe2b20f135659adef181a37d2e64a47d7..0000000000000000000000000000000000000000 --- a/src/main/nets/inputSignalNet.pnml +++ /dev/null @@ -1,94 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <page id="g-E2D0-BCF68-1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <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> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10"/> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet>--> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discreteTransitionType</type> - <!-- <topic>sampleTopic</topic> - <inputlimit>10</inputlimit> - <outputlimit>10</outputlimit>--> - <inputsignalbindings> - <inputsignalbinding> - <transitionID>t1</transitionID> - <inputsignalID>is1</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - <inputsignalbinding> - <transitionID>t1</transitionID> - <inputsignalID>is2</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - </inputsignalbindings> - <inputsignalclause>is1 AND NOT is2</inputsignalclause> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0"/> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - - <arc id="arc-p1-t1" source="p1" target="t1"> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/jointTestNet1.pnml b/src/main/nets/jointTestNet1.pnml deleted file mode 100644 index e79d2627610ceca613f2b51d39f932a388a08bb5..0000000000000000000000000000000000000000 --- a/src/main/nets/jointTestNet1.pnml +++ /dev/null @@ -1,196 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <page id="g-E2D0-BCF68-1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <type>discretePlaceType</type> - </toolspecific> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p2</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>0</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="p3"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p3</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p4"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p4</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>0</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="p5"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p5</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p6"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-3</location> - <subnet>subnet-3</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p6</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>serviceTransitionTypeRequest</type> - <serviceName>sampleService</serviceName> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <transition id="t2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>serviceTransitionTypeResponse</type> - <serviceName>sampleService</serviceName> - </toolspecific> - <name> - <text>t2</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <transition id="t3"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>topicTransitionType</type> - <topic>sampleTopic</topic> - <inputlimit>10</inputlimit> - <outputlimit>10</outputlimit> - </toolspecific> - <name> - <text>t3</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </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> - <arc id="arc-t2-p4" source="t2" target="p4"> - </arc> - <arc id="arc-p5-t3" source="p5" target="t3"> - </arc> - <arc id="arc-t3-p6" source="t3" target="p6"> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/jointTestNet2.pnml b/src/main/nets/jointTestNet2.pnml deleted file mode 100644 index e9193aa961e3c0929ba3bed92a9cbe3907391af0..0000000000000000000000000000000000000000 --- a/src/main/nets/jointTestNet2.pnml +++ /dev/null @@ -1,198 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <page id="page1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <type>discretePlaceType</type> - </toolspecific> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p2</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>0</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="p3"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p3</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p4"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p4</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>0</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="p5"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p5</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p6"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-3</location> - <subnet>subnet-3</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p6</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>serviceTransitionTypeRequest</type> - <serviceName>sampleService</serviceName> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <transition id="t2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>serviceTransitionTypeResponse</type> - <serviceName>sampleService</serviceName> - </toolspecific> - <name> - <text>t2</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <page id="page2"> - <transition id="t3"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>topicTransitionType</type> - <topic>sampleTopic</topic> - <inputlimit>10</inputlimit> - <outputlimit>10</outputlimit> - </toolspecific> - <name> - <text>t3</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - </page> - - <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> - <arc id="arc-t2-p4" source="t2" target="p4"> - </arc> - <arc id="arc-p5-t3" source="p5" target="t3"> - </arc> - <arc id="arc-t3-p6" source="t3" target="p6"> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/minimal.pnml b/src/main/nets/minimal.pnml deleted file mode 100644 index f3907302420e8988aaf08b5b4ab29c25c502fe67..0000000000000000000000000000000000000000 --- a/src/main/nets/minimal.pnml +++ /dev/null @@ -1,243 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.0.1"> - </toolspecific> - <page id="g-E2D0-BCF68-1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.0.1"> - <location>node-1</location> - <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> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.0.1"> - <location>node-1</location> - <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> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="p3"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.0.1"> - <location>node-1</location> - <type>discretePlaceType</type> - <outputsignalbindings> - <outputsignalbinding> - <placeID>p3</placeID> - <outputsignalID>os5</outputsignalID> - <initialvalue>4</initialvalue> <!-- -1 = undefined --> - <outputmappings> - <equal> - <value>1</value> - <result>1</result> - </equal> - <threshold> - <value>2</value> - <result>0</result> - </threshold> - </outputmappings> - </outputsignalbinding> - </outputsignalbindings> - </toolspecific> - <name> - <text>p3</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.0.1"> - <location>node-1</location> - <type>discreteTransitionType</type> - <inputsignalbindings> - <inputsignalbinding> - <transitionID>t1</transitionID> - <inputsignalID>is1</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - <inputsignalbinding> - <transitionID>t1</transitionID> - <inputsignalID>is3</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - </inputsignalbindings> - </toolspecific> - <name> - <text>t0</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <transition id="t2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.0.1"> - <location>node-1</location> - <type>discreteTransitionType</type> - <inputsignalbindings> - <inputsignalbinding> - <transitionID>t2</transitionID> - <inputsignalID>is2</inputsignalID> - <initialvalue>0</initialvalue> - </inputsignalbinding> - <inputsignalbinding> - <transitionID>t2</transitionID> - <inputsignalID>is5</inputsignalID> - <initialvalue>0</initialvalue> - </inputsignalbinding> - </inputsignalbindings> - <inputsignalclause>is2 AND NOT is5</inputsignalclause> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="285" y="205"/> - </graphics> - </transition> - <transition id="t3"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.0.1"> - <location>node-1</location> - <type>unlimitedChannelOutType</type> - <topic>c1</topic> - <inputsignalbindings> - <inputsignalbinding> - <transitionID>t3</transitionID> - <inputsignalID>is3</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - </inputsignalbindings> - </toolspecific> - <name> - <text>t3</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="265" y="205"/> - </graphics> - </transition> - <transition id="t4"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.0.1"> - <location>node-1</location> - <type>unlimitedChannelInType</type> - <topic>c1</topic> - <inputsignalbindings> - <inputsignalbinding> - <transitionID>t4</transitionID> - <inputsignalID>is4</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - </inputsignalbindings> - </toolspecific> - <name> - <text>t4</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="205" y="205"/> - </graphics> - </transition> - <arc id="arc-t2-p1" source="t2" target="p1"> - </arc> - <arc id="arc-p2-t2" source="p2" target="t2"> - </arc> - <arc id="arc-t1-p2" source="t1" target="p2"> - </arc> - <arc id="arc-p1-t1" source="p1" target="t1"> - </arc> - <arc id="arc-p1-t3" source="p1" target="t3"> - </arc> - <arc id="arc-t4-p3" source="t4" target="p3"> - </arc> - </page> - </net> -</pnml> diff --git a/src/main/nets/refNet1.pnml b/src/main/nets/refNet1.pnml deleted file mode 100644 index 4fccb61f2aa05869eacdf1f817a2049f78572c17..0000000000000000000000000000000000000000 --- a/src/main/nets/refNet1.pnml +++ /dev/null @@ -1,92 +0,0 @@ -<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="top"> - <page id="p1"> - <place id="pRefSrc"> - <name> - <text>pRefSrc</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </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> - </page> - - <page id="p2"> - <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> - </page> - </net> -</pnml> diff --git a/src/main/nets/refNet2.pnml b/src/main/nets/refNet2.pnml deleted file mode 100644 index 79ddbd85a756225a82d7dae153e3a1b9d85770f4..0000000000000000000000000000000000000000 --- a/src/main/nets/refNet2.pnml +++ /dev/null @@ -1,98 +0,0 @@ -<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="top"> - <page id="p1"> - <transition id="tRefIn"> - <name> - <text>tRefIn</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="285" y="205"/> - </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> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="20" y="20"/> - </graphics> - <arc id="rin" source="tRefIn" target="rp1"> - </arc> - </referencePlace> - </page> - - <page id="p2"> - <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> - </page> - </net> -</pnml> diff --git a/src/main/nets/serviceTest1.pnml b/src/main/nets/serviceTest1.pnml deleted file mode 100644 index 3777fde46f590b14f3cf0575141530933ac74a5c..0000000000000000000000000000000000000000 --- a/src/main/nets/serviceTest1.pnml +++ /dev/null @@ -1,185 +0,0 @@ -<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>topicTest1</text> - </name> - - <page id="top"> - - <page id="sourcePage"> - <referencePlace id="rp1" ref="channelInPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc2</location> - <subnet>loc2</subnet> - </toolspecific> - <name> - <text>rp1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="20" y="20"/> - </graphics> - </referencePlace> - - <place id="responsePlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc2</location> - <subnet>loc2</subnet> - </toolspecific> - <name> - <text>responsePlace</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - </page> - - <page id="channelPage"> - <place id="channelInPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc2</location> - <subnet>loc2</subnet> - </toolspecific> - <name> - <text>channelInPlace</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <transition id="requestTransition"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>serviceTransitionTypeRequest</type> - <serviceName>sampleService</serviceName> - </toolspecific> - <name> - <text>requestTransition</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="285" y="205"/> - </graphics> - </transition> - <referencePlace id="rp2" ref="responseSourcePlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc3</location> - <subnet>loc3</subnet> - </toolspecific> - <name> - <text>rp2</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="20" y="20"/> - </graphics> - </referencePlace> - - <place id="responseInPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc3</location> - <subnet>loc3</subnet> - </toolspecific> - <name> - <text>responseInPlace</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <transition id="responseTransition"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>serviceTransitionTypeResponse</type> - <serviceName>sampleService</serviceName> - </toolspecific> - <name> - <text>responseTransition</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="285" y="205"/> - </graphics> - </transition> - <referencePlace id="rp4" ref="responsePlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc2</location> - <subnet>loc2</subnet> - </toolspecific> - <name> - <text>rp4</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="20" y="20"/> - </graphics> - </referencePlace> - - <arc id="a1" source="channelInPlace" target="requestTransition"> - </arc> - <arc id="a2" source="requestTransition" target="rp2"> - </arc> - <arc id="a3" source="responseSourcePlace" target="responseTransition"> - </arc> - <arc id="a4" source="responseTransition" target="rp4"> - </arc> - </page> - - <page id="targetPage"> - <place id="responseSourcePlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc3</location> - <subnet>loc3</subnet> - </toolspecific> - <name> - <text>responseSourcePlace</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - - <referencePlace id="rp3" ref="responseInPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc3</location> - <subnet>loc3</subnet> - </toolspecific> - <name> - <text>rp3</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="20" y="20"/> - </graphics> - </referencePlace> - </page> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/serviceTestNet1.pnml b/src/main/nets/serviceTestNet1.pnml deleted file mode 100644 index 1da1525db6fb784eaeee5ef06288a1bcc5d22d5e..0000000000000000000000000000000000000000 --- a/src/main/nets/serviceTestNet1.pnml +++ /dev/null @@ -1,135 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <page id="g-E2D0-BCF68-1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <type>discretePlaceType</type> - </toolspecific> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p2</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>0</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="p3"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p3</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p4"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p4</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>0</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>serviceTransitionTypeRequest</type> - <serviceName>sampleService</serviceName> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <transition id="t2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>serviceTransitionTypeResponse</type> - <serviceName>sampleService</serviceName> - </toolspecific> - <name> - <text>t2</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </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> - <arc id="arc-t2-p4" source="t2" target="p4"> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/testNet1.pnml b/src/main/nets/testNet1.pnml deleted file mode 100644 index 850dae65159af7e4a0a321b7f5f28d203156830e..0000000000000000000000000000000000000000 --- a/src/main/nets/testNet1.pnml +++ /dev/null @@ -1,131 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <page id="g-E2D0-BCF68-1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <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> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <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 tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p2</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <page id="page2"> - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>topicTransitionType</type> - <topic>sampleTopic</topic> - <inputlimit>10</inputlimit> - <outputlimit>10</outputlimit> - <inputsignalbindings> - <inputsignalbinding> - <transitionID>t1</transitionID> - <inputsignalID>is1</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - </inputsignalbindings> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - </page> - <arc id="arc-p1-t1" source="p1" target="t1"> - </arc> - <arc id="arc-t1-p2" source="t1" target="p2"> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/testNet2.pnml b/src/main/nets/testNet2.pnml deleted file mode 100644 index 8d2b3e741822c0fd70ff683a80fcceddc98e1fe2..0000000000000000000000000000000000000000 --- a/src/main/nets/testNet2.pnml +++ /dev/null @@ -1,126 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <page id="g-E2D0-BCF68-1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <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> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <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 tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p2</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discreteTransitionType</type> - <inputsignalbindings> - <inputsignalbinding> - <transitionID>t1</transitionID> - <inputsignalID>is1</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - </inputsignalbindings> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <arc id="arc-p1-t1" source="p1" target="t1"> - </arc> - <arc id="arc-t1-p2" source="t1" target="p2"> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/testNet3.pnml b/src/main/nets/testNet3.pnml deleted file mode 100644 index 0fef030b238d3a5c160b010eaffc97a151aa0e70..0000000000000000000000000000000000000000 --- a/src/main/nets/testNet3.pnml +++ /dev/null @@ -1,71 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <page id="g-E2D0-BCF68-1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p2</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discreteTransitionType</type> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <arc id="arc-p1-t1" source="p1" target="t1"> - </arc> - <arc id="arc-t1-p2" source="t1" target="p2"> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/testNet4.pnml b/src/main/nets/testNet4.pnml deleted file mode 100644 index e641db6eb141f25a9bbb25337610447c8322313c..0000000000000000000000000000000000000000 --- a/src/main/nets/testNet4.pnml +++ /dev/null @@ -1,174 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <page id="g-E2D0-BCF68-1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <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> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <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 tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p2</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="p3"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <type>discretePlaceType</type> - <outputsignalbindings> - <outputsignalbinding> - <placeID>p3</placeID> - <outputsignalID>os4</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 tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p3</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>channel</subnet> - <type>topicTransitionType</type> - <topic>sampleTopic</topic> - <inputlimit>10</inputlimit> - <outputlimit>10</outputlimit> - <inputsignalbindings> - <inputsignalbinding> - <transitionID>t1</transitionID> - <inputsignalID>is1</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - </inputsignalbindings> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <arc id="arc-p1-t1" source="p1" target="t1"> - </arc> - <arc id="arc-t1-p2" source="t1" target="p2"> - </arc> - <arc id="arc-t1-p3" source="t1" target="p3"> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/testNet5.pnml b/src/main/nets/testNet5.pnml deleted file mode 100644 index a5bf08f92be4fb2f9a98419e9a4dd3410fd60e63..0000000000000000000000000000000000000000 --- a/src/main/nets/testNet5.pnml +++ /dev/null @@ -1,195 +0,0 @@ -<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> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <page id="g-E2D0-BCF68-1"> - <place id="p1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <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> - <name> - <text>p1</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <place id="p2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <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 tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p2</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="p3"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-2</location> - <subnet>subnet-2</subnet> - <type>discretePlaceType</type> - <outputsignalbindings> - <outputsignalbinding> - <placeID>p3</placeID> - <outputsignalID>os4</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 tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - </toolspecific> - <name> - <text>p3</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="p4"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>subnet-1</subnet> - <type>discretePlaceType</type> - </toolspecific> - <name> - <text>p4</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <initialMarking> - <text>1</text> - </initialMarking> - <graphics> - <position x="30" y="50"/> - </graphics> - </place> - <transition id="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>node-1</location> - <subnet>channel</subnet> - <type>topicTransitionType</type> - <topic>sampleTopic</topic> - <inputlimit>10</inputlimit> - <outputlimit>10</outputlimit> - <inputsignalbindings> - <inputsignalbinding> - <transitionID>t1</transitionID> - <inputsignalID>is1</inputsignalID> - <initialvalue>1</initialvalue> - </inputsignalbinding> - </inputsignalbindings> - </toolspecific> - <name> - <text>t1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="300" y="50"/> - </graphics> - </transition> - <arc id="arc-p1-t1" source="p1" target="t1"> - </arc> - <arc id="arc-t1-p2" source="t1" target="p2"> - </arc> - <arc id="arc-t1-p3" source="t1" target="p3"> - </arc> - <arc id="arc-p4-t1" source="p4" target="t1"> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/topicTest1.pnml b/src/main/nets/topicTest1.pnml deleted file mode 100644 index 734eb0681e6dbc550dd31e2dea97732ae5a190ff..0000000000000000000000000000000000000000 --- a/src/main/nets/topicTest1.pnml +++ /dev/null @@ -1,102 +0,0 @@ -<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>topicTest1</text> - </name> - - <page id="top"> - - <page id="sourcePage"> - <referencePlace id="rp1" ref="channelInPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc2</location> - <subnet>locA</subnet> - </toolspecific> - <name> - <text>rp1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="20" y="20"/> - </graphics> - </referencePlace> - </page> - - <page id="channelPage"> - <place id="channelInPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc2</location> - <subnet>locA</subnet> - </toolspecific> - <name> - <text>channelInPlace</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <transition id="channelTransition"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>locC</subnet> - <type>topicTransitionType</type> - <topic>sampleTopic</topic> - <inputlimit>10</inputlimit> - <outputlimit>10</outputlimit> - </toolspecific> - <name> - <text>channelTransition</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="285" y="205"/> - </graphics> - </transition> - <referencePlace id="rp2" ref="outRefPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc3</location> - <subnet>locB</subnet> - </toolspecific> - <name> - <text>rp2</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="20" y="20"/> - </graphics> - </referencePlace> - <arc id="a1" source="channelInPlace" target="channelTransition"> - </arc> - <arc id="a2" source="channelTransition" target="rp2"> - </arc> - </page> - - <page id="targetPage"> - <place id="outRefPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc3</location> - <subnet>locB</subnet> - </toolspecific> - <name> - <text>outRefPlace</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - </page> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/nets/topicTest2.pnml b/src/main/nets/topicTest2.pnml deleted file mode 100644 index 4043758e31c7c010ac19de6685831695a2151600..0000000000000000000000000000000000000000 --- a/src/main/nets/topicTest2.pnml +++ /dev/null @@ -1,119 +0,0 @@ -<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>topicTest1</text> - </name> - - <page id="top"> - - <page id="sourcePage"> - <referencePlace id="rp1" ref="channelInPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc2</location> - <subnet>loc2</subnet> - </toolspecific> - <name> - <text>rp1</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="20" y="20"/> - </graphics> - </referencePlace> - </page> - - <page id="channelPage"> - <place id="channelInPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc2</location> - <subnet>loc2</subnet> - </toolspecific> - <name> - <text>channelInPlace</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <place id="channelInPlace2"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc2</location> - <subnet>loc2</subnet> - </toolspecific> - <name> - <text>channelInPlace2</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - <transition id="channelTransition"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>channel</location> - <subnet>channel</subnet> - <type>topicTransitionType</type> - <topic>sampleTopic</topic> - <inputlimit>10</inputlimit> - <outputlimit>10</outputlimit> - </toolspecific> - <name> - <text>channelTransition</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="285" y="205"/> - </graphics> - </transition> - <referencePlace id="rp2" ref="outRefPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc3</location> - <subnet>loc3</subnet> - </toolspecific> - <name> - <text>rp2</text> - <graphics> - <offset x="0" y="0" /> - </graphics> - </name> - <graphics> - <position x="20" y="20"/> - </graphics> - </referencePlace> - <arc id="a1" source="channelInPlace" target="channelTransition"> - </arc> - <arc id="a2" source="channelTransition" target="rp2"> - </arc> - <arc id="a3" source="channelInPlace2" target="channelTransition"> - </arc> - </page> - - <page id="targetPage"> - <place id="outRefPlace"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <location>loc3</location> - <subnet>loc3</subnet> - </toolspecific> - <name> - <text>outRefPlace</text> - <graphics> - <offset x="0" y="-10" /> - </graphics> - </name> - <graphics> - <position x="635" y="90"/> - </graphics> - </place> - </page> - </page> - </net> -</pnml> \ No newline at end of file