diff --git a/src/main/java/de/tudresden/inf/st/pnml/base/Main.java b/src/main/java/de/tudresden/inf/st/pnml/base/Main.java index 51b7f38b9ed237894138fdeb5ef6011c577cd45d..d643589b5e80a572d31eb0378fb22184e7b2468e 100644 --- a/src/main/java/de/tudresden/inf/st/pnml/base/Main.java +++ b/src/main/java/de/tudresden/inf/st/pnml/base/Main.java @@ -1,9 +1,16 @@ package de.tudresden.inf.st.pnml.base; +import de.tudresden.inf.st.pnml.jastadd.model.PetriNet; +import de.tudresden.inf.st.pnml.jastadd.model.PnmlParser; + +import java.util.List; + public class Main { public static void main(String[] args) { // Nothing to do here + + List<PetriNet> petriNets = PnmlParser.parsePnml("/src/main/resources/nets/TestNet1.pnml"); } } diff --git a/src/main/resources/inputSignalNet.pnml b/src/main/resources/inputSignalNet.pnml deleted file mode 100644 index 6bd47b512f619ad8357fcfd6105553ddf6266752..0000000000000000000000000000000000000000 --- a/src/main/resources/inputSignalNet.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>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-1" source="p1" target="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <type>inhibitor</type> - </toolspecific> - </arc> - <arc id="arc-p1-t1-2" source="p1" target="t1"> - <toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1"> - <type>default</type> - </toolspecific> - </arc> - </page> - </net> -</pnml> \ No newline at end of file diff --git a/src/main/resources/nets/TestNet1.pnml b/src/main/resources/nets/TestNet1.pnml new file mode 100644 index 0000000000000000000000000000000000000000..30e4c57e2dca82a54342ff54e3d1b32502a3ac10 --- /dev/null +++ b/src/main/resources/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/resources/topicTest1.pnml b/src/main/resources/topicTest1.pnml deleted file mode 100644 index 734eb0681e6dbc550dd31e2dea97732ae5a190ff..0000000000000000000000000000000000000000 --- a/src/main/resources/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