4-concurrency.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<pnml>
  <net id="n0">
    <transition id="t1">
      <graphics>
        <position x="250" y="29"/>
      </graphics>
      <name>
        <text>t1</text>
        <graphics>
          <offset x="50" y="0"/>
        </graphics>
      </name>
      <guard>
        <text>return true;</text>
      </guard>
    </transition>
    <place id="p4">
      <graphics>
        <position x="409" y="132"/>
      </graphics>
      <name>
        <text>p4</text>
        <graphics>
          <offset x="50" y="0"/>
        </graphics>
      </name>
    </place>
    <place id="p3">
      <graphics>
        <position x="256" y="132"/>
      </graphics>
      <name>
        <text>p3</text>
        <graphics>
          <offset x="50" y="0"/>
        </graphics>
      </name>
    </place>
    <place id="p2">
      <graphics>
        <position x="128" y="134"/>
      </graphics>
      <name>
        <text>p2</text>
        <graphics>
          <offset x="50" y="0"/>
        </graphics>
      </name>
    </place>
    <arc id="o6" source="t1" target="p3">
      <expression>
        <text>new Integer(1)</text>
      </expression>
      <graphics>
        <position x="250" y="34"/>
        <position x="254" y="111"/>
      </graphics>
    </arc>
    <arc id="o5" source="t1" target="p2">
      <expression>
        <text>new Integer(1)</text>
      </expression>
      <graphics>
        <position x="244" y="34"/>
        <position x="143" y="120"/>
      </graphics>
    </arc>
    <arc id="o7" source="t1" target="p4">
      <expression>
        <text>new Integer(1)</text>
      </expression>
      <graphics>
        <position x="258" y="34"/>
        <position x="391" y="120"/>
      </graphics>
    </arc>
  </net>
</pnml>