inputSignalNet.pnml

<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" source="p1" target="t1">
            </arc>
        </page>
    </net>
</pnml>