From 576402b576cc75f77c31e6c27e6e6d35a151dbf4 Mon Sep 17 00:00:00 2001 From: SebastianEbert <sebastian.ebert@tu-dresden.de> Date: Wed, 16 Jun 2021 12:06:33 +0200 Subject: [PATCH] several test nets --- src/main/nets/testNet1.pnml | 129 ++++++++++++++++ src/main/nets/testNet2.pnml | 126 ++++++++++++++++ src/main/nets/testNet3.pnml | 71 +++++++++ src/main/nets/testNet4.pnml | 174 ++++++++++++++++++++++ src/main/nets/testNet5.pnml | 195 +++++++++++++++++++++++++ src/main/resources/minimal_global.pnml | 2 +- 6 files changed, 696 insertions(+), 1 deletion(-) create mode 100644 src/main/nets/testNet1.pnml create mode 100644 src/main/nets/testNet2.pnml create mode 100644 src/main/nets/testNet3.pnml create mode 100644 src/main/nets/testNet4.pnml create mode 100644 src/main/nets/testNet5.pnml diff --git a/src/main/nets/testNet1.pnml b/src/main/nets/testNet1.pnml new file mode 100644 index 0000000..f017b22 --- /dev/null +++ b/src/main/nets/testNet1.pnml @@ -0,0 +1,129 @@ +<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> + <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> + </page> + </net> +</pnml> \ No newline at end of file diff --git a/src/main/nets/testNet2.pnml b/src/main/nets/testNet2.pnml new file mode 100644 index 0000000..8d2b3e7 --- /dev/null +++ b/src/main/nets/testNet2.pnml @@ -0,0 +1,126 @@ +<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 new file mode 100644 index 0000000..0fef030 --- /dev/null +++ b/src/main/nets/testNet3.pnml @@ -0,0 +1,71 @@ +<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 new file mode 100644 index 0000000..e641db6 --- /dev/null +++ b/src/main/nets/testNet4.pnml @@ -0,0 +1,174 @@ +<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 new file mode 100644 index 0000000..a5bf08f --- /dev/null +++ b/src/main/nets/testNet5.pnml @@ -0,0 +1,195 @@ +<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/resources/minimal_global.pnml b/src/main/resources/minimal_global.pnml index 5545869..a83596a 100644 --- a/src/main/resources/minimal_global.pnml +++ b/src/main/resources/minimal_global.pnml @@ -64,7 +64,7 @@ <outputmappings> <equal> <value>1</value> - <result>1</result>PnObject + <result>1</result> </equal> <threshold> <value>6</value> -- GitLab