Select Git revision
publisher-net.pnml

Sebastian Ebert authored
publisher-net.pnml 2.10 KiB
<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">
<page id="top">
<page id="channelPage">
<place id="channelInPlace">
<name>
<text>channelInPlace</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc2</location>
<subnet>locA</subnet>
</toolspecific>
<initialMarking>
<text>0</text>
</initialMarking>
</place>
<transition id="channelTransition-publisher-0">
<name>
<text>channelTransition-publisher-0</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.0.1">
<location>loc2</location>
<type>limitedChannelOutType</type>
<subnet>locA</subnet>
<topic>sampleTopic</topic>
<inputlimit>10</inputlimit>
<outputlimit>10</outputlimit>
<inputsignalbindings/>
</toolspecific>
</transition>
<arc id="a1" source="channelInPlace" target="channelTransition-publisher-0">
</arc>
</page>
<page id="sourcePage">
<referencePlace id="rp1" ref="channelInPlace">
<name>
<text>rp1</text>
</name>
<toolspecific tool="de.tudresden.inf.st.pnml.distributedPN" version="0.1">
<location>loc2</location>
<subnet>locA</subnet>
</toolspecific>
</referencePlace>
</page>
</page>
<name>
<text>topicTest1</text>
</name>
</net>
</pnml>