Skip to content
Snippets Groups Projects
Select Git revision
  • 38bba32ae2ecddc47dd216386ce5ef8e2f1b0f9b
  • main default protected
  • sample-handlers
3 results

publisher-net.pnml

Blame
  • 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>