<?xml version="1.0" encoding="utf-8"?>
<?xml-stylesheet type="text/xsl" href="/xsl/spped2svg.xsl"?>
<Snoopy version="2" revision="1.13">
  <netclass name="Petri Net"/>
  <nodeclasses count="4">
    <nodeclass count="4" name="Place">
      <node id="121181" net="1">
        <attribute name="Name" id="121182" net="1">
          <![CDATA[E]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="-1.00" x="165.00" y="19.00" id="121187" net="1" show="1" grparent="121191" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="121183" net="1">
          <![CDATA[0]]>
          <graphics count="1">
            <graphic xoff="24.00" yoff="18.00" x="164.00" y="38.00" id="121188" net="1" show="0" grparent="121191" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Marking" id="121184" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic x="140.00" y="20.00" id="121189" net="1" show="1" grparent="121191" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="121185" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="121186" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="-1.00" yoff="38.00" x="139.00" y="58.00" id="121190" net="1" show="1" grparent="121191" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="140.00" y="20.00" id="121191" net="1" show="1" w="20.00" h="20.00" state="1"/>
        </graphics>
      </node>
      <node id="121203" net="1">
        <attribute name="Name" id="121204" net="1">
          <![CDATA[B]]>
          <graphics count="1">
            <graphic xoff="4.00" yoff="22.00" x="264.00" y="102.00" id="121209" net="1" show="1" grparent="121213" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="121205" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="8.00" yoff="138.00" x="268.00" y="218.00" id="121210" net="1" show="0" grparent="121213" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Marking" id="121206" net="1">
          <![CDATA[0]]>
          <graphics count="1">
            <graphic x="260.00" y="80.00" id="121211" net="1" show="1" grparent="121213" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="121207" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="121208" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="-1.00" yoff="38.00" x="259.00" y="118.00" id="121212" net="1" show="1" grparent="121213" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="260.00" y="80.00" id="121213" net="1" show="1" w="20.00" h="20.00" state="1"/>
        </graphics>
      </node>
      <node id="121339" net="1">
        <attribute name="Name" id="121340" net="1">
          <![CDATA[A_E]]>
          <graphics count="1">
            <graphic xoff="11.00" yoff="24.00" x="151.00" y="104.00" id="121345" net="1" show="1" grparent="121349" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="121341" net="1">
          <![CDATA[2]]>
          <graphics count="1">
            <graphic xoff="24.00" yoff="18.00" x="164.00" y="98.00" id="121346" net="1" show="0" grparent="121349" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Marking" id="121342" net="1">
          <![CDATA[0]]>
          <graphics count="1">
            <graphic x="140.00" y="80.00" id="121347" net="1" show="1" grparent="121349" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="121343" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="121344" net="1">
          <![CDATA[//old name:A|E]]>
          <graphics count="1">
            <graphic xoff="-1.00" yoff="38.00" x="139.00" y="118.00" id="121348" net="1" show="1" grparent="121349" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="140.00" y="80.00" id="121349" net="1" show="1" w="20.00" h="20.00" state="1"/>
        </graphics>
      </node>
      <node id="121350" net="1">
        <attribute name="Name" id="121351" net="1">
          <![CDATA[A]]>
          <graphics count="1">
            <graphic xoff="3.00" yoff="22.00" x="23.00" y="102.00" id="121356" net="1" show="1" grparent="121360" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="121352" net="1">
          <![CDATA[3]]>
          <graphics count="1">
            <graphic xoff="24.00" yoff="18.00" x="44.00" y="98.00" id="121357" net="1" show="0" grparent="121360" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Marking" id="121353" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic x="20.00" y="80.00" id="121358" net="1" show="1" grparent="121360" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="121354" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="121355" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="-1.00" yoff="38.00" x="19.00" y="118.00" id="121359" net="1" show="1" grparent="121360" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="20.00" y="80.00" id="121360" net="1" show="1" w="20.00" h="20.00" state="1"/>
        </graphics>
      </node>
    </nodeclass>
    <nodeclass count="3" name="Transition">
      <node id="121214" net="1">
        <attribute name="Name" id="121215" net="1">
          <![CDATA[k3]]>
          <graphics count="1">
            <graphic xoff="5.00" yoff="24.00" x="205.00" y="104.00" id="121220" net="1" show="1" grparent="121224" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="121216" net="1">
          <![CDATA[0]]>
          <graphics count="1">
            <graphic xoff="24.00" yoff="18.00" x="224.00" y="98.00" id="121221" net="1" show="0" grparent="121224" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="121217" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="121218" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="39.00" yoff="-2.00" x="239.00" y="78.00" id="121222" net="1" show="1" grparent="121224" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="200.00" y="80.00" id="121224" net="1" show="1" w="20.00" h="20.00" state="1"/>
        </graphics>
      </node>
      <node id="121361" net="1">
        <attribute name="Name" id="121362" net="1">
          <![CDATA[k2]]>
          <graphics count="1">
            <graphic xoff="7.00" yoff="24.00" x="87.00" y="124.00" id="121367" net="1" show="1" grparent="121371" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="121363" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="24.00" yoff="18.00" x="104.00" y="118.00" id="121368" net="1" show="0" grparent="121371" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="121364" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="121365" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="39.00" yoff="-2.00" x="119.00" y="98.00" id="121369" net="1" show="1" grparent="121371" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="80.00" y="100.00" id="121371" net="1" show="1" w="20.00" h="20.00" state="1"/>
        </graphics>
      </node>
      <node id="121372" net="1">
        <attribute name="Name" id="121373" net="1">
          <![CDATA[k1]]>
          <graphics count="1">
            <graphic xoff="9.00" yoff="-18.00" x="89.00" y="42.00" id="121378" net="1" show="1" grparent="121382" state="1"/>
          </graphics>
        </attribute>
        <attribute name="ID" id="121374" net="1">
          <![CDATA[2]]>
          <graphics count="1">
            <graphic xoff="24.00" yoff="18.00" x="104.00" y="78.00" id="121379" net="1" show="0" grparent="121382" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Logic" id="121375" net="1">
          <![CDATA[0]]>
          <graphics count="0"/>
        </attribute>
        <attribute name="Comment" id="121376" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="39.00" yoff="-2.00" x="119.00" y="58.00" id="121380" net="1" show="1" grparent="121382" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="80.00" y="60.00" id="121382" net="1" show="1" w="20.00" h="20.00" state="1"/>
        </graphics>
      </node>
    </nodeclass>
    <nodeclass count="0" name="Coarse Place"/>
    <nodeclass count="0" name="Coarse Transition"/>
  </nodeclasses>
  <edgeclasses count="1">
    <edgeclass count="9" name="Edge">
      <edge source="121214" target="121181" id="121225" net="1">
        <attribute name="Multiplicity" id="121227" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="50.47" yoff="-0.53" x="219.01" y="48.01" id="121230" net="1" show="1" grparent="121232" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="121228" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="70.47" yoff="-0.53" x="239.01" y="48.01" id="121231" net="1" show="1" grparent="121232" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="121232" net="1" source="121224" target="121191" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="190.00" y="70.00"/>
              <point x="147.07" y="27.07"/>
            </points>
          </graphic>
        </graphics>
      </edge>
      <edge source="121181" target="121372" id="121233" net="1">
        <attribute name="Multiplicity" id="121235" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="108.16" yoff="8.56" x="219.00" y="48.00" id="121238" net="1" show="1" grparent="121240" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="121236" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="128.16" yoff="8.56" x="239.00" y="48.00" id="121239" net="1" show="1" grparent="121240" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="121240" net="1" source="121191" target="121382" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="131.68" y="25.55"/>
              <point x="90.00" y="53.33"/>
            </points>
          </graphic>
        </graphics>
      </edge>
      <edge source="121214" target="121203" id="121249" net="1">
        <attribute name="Multiplicity" id="121251" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="19.00" yoff="-2.00" x="249.00" y="78.00" id="121254" net="1" show="1" grparent="121256" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="121252" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="39.00" yoff="-2.00" x="269.00" y="78.00" id="121255" net="1" show="1" grparent="121256" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="121256" net="1" source="121224" target="121213" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="210.00" y="80.00"/>
              <point x="250.00" y="80.00"/>
            </points>
          </graphic>
        </graphics>
      </edge>
      <edge source="121361" target="121350" id="121383" net="1">
        <attribute name="Multiplicity" id="121385" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="-44.00" yoff="125.00" x="5.74" y="214.91" id="121388" net="1" show="1" grparent="121390" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="121386" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="-44.00" yoff="125.00" x="5.74" y="214.91" id="121389" net="1" show="1" grparent="121390" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="121390" net="1" source="121371" target="121360" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="70.00" y="96.67"/>
              <point x="29.49" y="83.16"/>
            </points>
          </graphic>
        </graphics>
      </edge>
      <edge source="121339" target="121361" id="121391" net="1">
        <attribute name="Multiplicity" id="121393" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="-64.00" yoff="125.00" x="46.26" y="214.91" id="121396" net="1" show="1" grparent="121398" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="121394" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="-44.00" yoff="125.00" x="66.26" y="214.91" id="121397" net="1" show="1" grparent="121398" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="121398" net="1" source="121349" target="121371" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="130.51" y="83.16"/>
              <point x="90.00" y="96.67"/>
            </points>
          </graphic>
        </graphics>
      </edge>
      <edge source="121372" target="121339" id="121399" net="1">
        <attribute name="Multiplicity" id="121401" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="-64.00" yoff="125.00" x="46.26" y="195.09" id="121404" net="1" show="1" grparent="121406" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="121402" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="-44.00" yoff="125.00" x="66.26" y="195.09" id="121405" net="1" show="1" grparent="121406" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="121406" net="1" source="121382" target="121349" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="90.00" y="63.33"/>
              <point x="130.51" y="76.84"/>
            </points>
          </graphic>
        </graphics>
      </edge>
      <edge source="121350" target="121372" id="121407" net="1">
        <attribute name="Multiplicity" id="121409" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="-44.00" yoff="125.00" x="5.74" y="195.09" id="121412" net="1" show="1" grparent="121414" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="121410" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="-44.00" yoff="125.00" x="5.74" y="195.09" id="121413" net="1" show="1" grparent="121414" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="121414" net="1" source="121360" target="121382" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="29.49" y="76.84"/>
              <point x="70.00" y="63.33"/>
            </points>
          </graphic>
        </graphics>
      </edge>
      <edge source="121361" target="121181" id="121437" net="1">
        <attribute name="Multiplicity" id="121440" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="18.68" yoff="-11.71" x="129.43" y="47.29" id="121441" net="1" show="1" grparent="121444" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="121442" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="38.68" yoff="-11.71" x="149.43" y="47.29" id="121443" net="1" show="1" grparent="121444" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="121444" net="1" source="121371" target="121191" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="87.50" y="90.00"/>
              <point x="134.00" y="28.00"/>
            </points>
          </graphic>
        </graphics>
      </edge>
      <edge source="121339" target="121214" id="121445" net="1">
        <attribute name="Multiplicity" id="121448" net="1">
          <![CDATA[1]]>
          <graphics count="1">
            <graphic xoff="19.00" yoff="-2.00" x="189.00" y="78.00" id="121449" net="1" show="1" grparent="121452" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Comment" id="121450" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="39.00" yoff="-2.00" x="209.00" y="78.00" id="121451" net="1" show="1" grparent="121452" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic id="121452" net="1" source="121349" target="121224" state="1" show="1" edge_designtype="3">
            <points count="2">
              <point x="150.00" y="80.00"/>
              <point x="190.00" y="80.00"/>
            </points>
          </graphic>
        </graphics>
      </edge>
    </edgeclass>
  </edgeclasses>
  <metadataclasses count="3">
    <metadataclass count="1" name="General">
      <metadata id="316550" net="1">
        <attribute name="Name" id="316551" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="3.00" x="20.00" y="20.00" id="316552" net="1" show="1" grparent="316563" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Created" id="316553" net="1">
          <![CDATA[2012-08-30 11:52:51]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="20.00" x="42.00" y="40.00" id="316554" net="1" show="0" grparent="316563" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Authors" id="316555" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="40.00" x="42.00" y="60.00" id="316556" net="1" show="1" grparent="316563" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Keywords" id="316557" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="40.00" yoff="25.00" x="57.00" y="45.00" id="316558" net="1" show="1" grparent="316563" state="1"/>
          </graphics>
        </attribute>
        <attribute name="Description" id="316559" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="40.00" x="42.00" y="60.00" id="316560" net="1" show="1" grparent="316563" state="1"/>
          </graphics>
        </attribute>
        <attribute name="References" id="316561" net="1">
          <![CDATA[]]>
          <graphics count="1">
            <graphic xoff="25.00" yoff="40.00" x="42.00" y="60.00" id="316562" net="1" show="1" grparent="316563" state="1"/>
          </graphics>
        </attribute>
        <graphics count="1">
          <graphic x="17.00" y="20.00" id="316563" net="1" show="1" w="15.00" h="21.00" state="1" pen="255,255,255" brush="255,255,255"/>
        </graphics>
      </metadata>
    </metadataclass>
    <metadataclass count="0" name="Comment"/>
    <metadataclass count="0" name="Constant Class"/>
  </metadataclasses>
</Snoopy>
