Select Git revision
gradle.gradle
NodeNetTopicSubTest.pnml 1.77 KiB
<?xml version="1.0" encoding="UTF-8"?>
<pnml
xmlns="http://www.pnml.org/version-2009/grammar/pnml">
<net id="NodeNetTest-0" type="http://www.pnml.org/version-2009/grammar/ptnet">
<name>
<text>NodeNetTest-2</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<ports>
<port name="topicP1" placeType="sub" limit="5">p1</port>
<port name="serviceP1" placeType="creq" cResponsePlace="p2">p1</port>
<port name="serviceP1" placeType="cres" cRequestPlace="p1">p2</port>
<port name="serviceP1" placeType="sreq" sResponsePlace="p4">p3</port>
<port name="serviceP1" placeType="sres" sRequestPlace="p3">p4</port>
</ports>
</toolspecific>
<page id="top">
<page id="sourcePage">
<place id="p1">
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<node>n1</node>
<subnet>s1</subnet>
<balloonMarking>
<tokens>
</tokens>
</balloonMarking>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
<name>
<text>p1</text>
<graphics>
<offset x="0" y="0" />
</graphics>
</name>
<graphics>
<position x="0" y="0" />
</graphics>
</place>
</page>
</page>
</net>
</pnml>