Example.xml

<?xml version="1.0" encoding="ISO-8859-1"?><pnml>
    <net id="Net-One" type="P/T net">
        <labels x="738" y="510" width="103" height="16" border="true">
            <text>1*P20</text>
            <finalMarings>true</finalMarings>
        </labels>
        <labels x="751" y="70" width="103" height="16" border="true">
            <text>1*P6</text>
            <finalMarings>true</finalMarings>
        </labels>
        <labels x="77" y="99" width="103" height="16" border="true">
            <text>CL</text>
            <finalMarings>false</finalMarings>
        </labels>
        <labels x="85" y="400" width="103" height="16" border="true">
            <text>SU</text>
            <finalMarings>false</finalMarings>
        </labels>
        <place id="P1">
            <graphics>
                <position x="180.0" y="120.0"/>
            </graphics>
            <name>
                <value>P1</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>1</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P10">
            <graphics>
                <position x="552.0" y="216.0"/>
            </graphics>
            <name>
                <value>cash</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P11">
            <graphics>
                <position x="648.0" y="48.0"/>
            </graphics>
            <name>
                <value>products</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P12">
            <graphics>
                <position x="144.0" y="432.0"/>
            </graphics>
            <name>
                <value>P12</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>1</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P13">
            <graphics>
                <position x="288.0" y="432.0"/>
            </graphics>
            <name>
                <value>P13</value>
                <graphics>
                    <offset x="16.0" y="36.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P14">
            <graphics>
                <position x="360.0" y="396.0"/>
            </graphics>
            <name>
                <value>P14</value>
                <graphics>
                    <offset x="12.0" y="36.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P15">
            <graphics>
                <position x="432.0" y="396.0"/>
            </graphics>
            <name>
                <value>P15</value>
                <graphics>
                    <offset x="20.0" y="34.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P16">
            <graphics>
                <position x="504.0" y="396.0"/>
            </graphics>
            <name>
                <value>P16</value>
                <graphics>
                    <offset x="10.0" y="36.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P17">
            <graphics>
                <position x="384.0" y="480.0"/>
            </graphics>
            <name>
                <value>P17</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P18">
            <graphics>
                <position x="480.0" y="480.0"/>
            </graphics>
            <name>
                <value>P18</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P19">
            <graphics>
                <position x="588.0" y="432.0"/>
            </graphics>
            <name>
                <value>P19</value>
                <graphics>
                    <offset x="24.0" y="39.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P2">
            <graphics>
                <position x="312.0" y="120.0"/>
            </graphics>
            <name>
                <value>P2</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P20">
            <graphics>
                <position x="732.0" y="432.0"/>
            </graphics>
            <name>
                <value>P20</value>
                <graphics>
                    <offset x="7.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P21">
            <graphics>
                <position x="240.0" y="360.0"/>
            </graphics>
            <name>
                <value>order</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P22">
            <graphics>
                <position x="396.0" y="324.0"/>
            </graphics>
            <name>
                <value>deposit</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P23">
            <graphics>
                <position x="540.0" y="324.0"/>
            </graphics>
            <name>
                <value>transfer</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P24">
            <graphics>
                <position x="528.0" y="552.0"/>
            </graphics>
            <name>
                <value>cash</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P25">
            <graphics>
                <position x="636.0" y="360.0"/>
            </graphics>
            <name>
                <value>products</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P3">
            <graphics>
                <position x="408.0" y="120.0"/>
            </graphics>
            <name>
                <value>P3</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P4">
            <graphics>
                <position x="504.0" y="120.0"/>
            </graphics>
            <name>
                <value>P4</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P5">
            <graphics>
                <position x="600.0" y="120.0"/>
            </graphics>
            <name>
                <value>P5</value>
                <graphics>
                    <offset x="19.0" y="39.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P6">
            <graphics>
                <position x="720.0" y="120.0"/>
            </graphics>
            <name>
                <value>P6</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>false</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P7">
            <graphics>
                <position x="252.0" y="48.0"/>
            </graphics>
            <name>
                <value>order</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P8">
            <graphics>
                <position x="360.0" y="48.0"/>
            </graphics>
            <name>
                <value>deposit</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <place id="P9">
            <graphics>
                <position x="552.0" y="12.0"/>
            </graphics>
            <name>
                <value>transfer</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <msgPlace>true</msgPlace>
            <resPlace>false</resPlace>
            <linkPlace/>
            <dataPlace/>
            <initialMarking>
                <value>0</value>
                <graphics>
                    <offset x="0.0" y="0.0"/>
                </graphics>
            </initialMarking>
            <capacity>
                <value>0</value>
            </capacity>
        </place>
        <transition id="T1">
            <graphics>
                <position x="252.0" y="120.0"/>
            </graphics>
            <name>
                <value>T1</value>
                <graphics>
                    <offset x="6.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T10">
            <graphics>
                <position x="396.0" y="396.0"/>
            </graphics>
            <name>
                <value>T10</value>
                <graphics>
                    <offset x="15.0" y="31.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T11">
            <graphics>
                <position x="432.0" y="480.0"/>
            </graphics>
            <name>
                <value>T11</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T12">
            <graphics>
                <position x="540.0" y="396.0"/>
            </graphics>
            <name>
                <value>T12</value>
                <graphics>
                    <offset x="6.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T13">
            <graphics>
                <position x="528.0" y="480.0"/>
            </graphics>
            <name>
                <value>T13</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T14">
            <graphics>
                <position x="636.0" y="432.0"/>
            </graphics>
            <name>
                <value>T14</value>
                <graphics>
                    <offset x="13.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T15">
            <graphics>
                <position x="468.0" y="396.0"/>
            </graphics>
            <name>
                <value>T15</value>
                <graphics>
                    <offset x="12.0" y="38.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T16">
            <graphics>
                <position x="468.0" y="348.0"/>
            </graphics>
            <name>
                <value>T16</value>
                <graphics>
                    <offset x="0.0" y="11.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>50</value>
            </priority>
        </transition>
        <transition id="T2">
            <graphics>
                <position x="360.0" y="120.0"/>
            </graphics>
            <name>
                <value>T2</value>
                <graphics>
                    <offset x="12.0" y="38.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T3">
            <graphics>
                <position x="456.0" y="120.0"/>
            </graphics>
            <name>
                <value>T3</value>
                <graphics>
                    <offset x="9.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T4">
            <graphics>
                <position x="552.0" y="72.0"/>
            </graphics>
            <name>
                <value>T4</value>
                <graphics>
                    <offset x="-3.0" y="9.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T5">
            <graphics>
                <position x="552.0" y="156.0"/>
            </graphics>
            <name>
                <value>T5</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T6">
            <graphics>
                <position x="648.0" y="120.0"/>
            </graphics>
            <name>
                <value>T6</value>
                <graphics>
                    <offset x="8.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T7">
            <graphics>
                <position x="240.0" y="432.0"/>
            </graphics>
            <name>
                <value>T7</value>
                <graphics>
                    <offset x="8.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T8">
            <graphics>
                <position x="324.0" y="396.0"/>
            </graphics>
            <name>
                <value>T8</value>
                <graphics>
                    <offset x="17.0" y="36.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <transition id="T9">
            <graphics>
                <position x="336.0" y="480.0"/>
            </graphics>
            <name>
                <value>T9</value>
                <graphics>
                    <offset x="-5.0" y="35.0"/>
                </graphics>
            </name>
            <routTran>false</routTran>
            <orientation>
                <value>0</value>
            </orientation>
            <rate>
                <value>1.0</value>
            </rate>
            <timed>
                <value>false</value>
            </timed>
            <minDelay>0.0</minDelay>
            <maxDelay>0.0</maxDelay>
            <infiniteServer>
                <value>false</value>
            </infiniteServer>
            <priority>
                <value>1</value>
            </priority>
        </transition>
        <arc id="P11 to T6" source="P11" target="T6">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="657" y="68" curvePoint="false"/>
            <arcpath id="001" x="657" y="117" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P12 to T7" source="P12" target="T7">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="164" y="441" curvePoint="false"/>
            <arcpath id="001" x="244" y="441" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P13 to T8" source="P13" target="T8">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="303" y="431" curvePoint="false"/>
            <arcpath id="001" x="328" y="405" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P13 to T9" source="P13" target="T9">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="306" y="448" curvePoint="false"/>
            <arcpath id="001" x="340" y="489" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P14 to T10" source="P14" target="T10">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="380" y="405" curvePoint="false"/>
            <arcpath id="001" x="400" y="405" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P15 to T15" source="P15" target="T15">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="452" y="405" curvePoint="false"/>
            <arcpath id="001" x="472" y="405" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P16 to T12" source="P16" target="T12">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="524" y="405" curvePoint="false"/>
            <arcpath id="001" x="544" y="405" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P16 to T16" source="P16" target="T16">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="506" y="395" curvePoint="false"/>
            <arcpath id="001" x="480" y="357" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P17 to T11" source="P17" target="T11">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="404" y="489" curvePoint="false"/>
            <arcpath id="001" x="436" y="489" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P18 to T13" source="P18" target="T13">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="500" y="489" curvePoint="false"/>
            <arcpath id="001" x="532" y="489" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P19 to T14" source="P19" target="T14">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="608" y="441" curvePoint="false"/>
            <arcpath id="001" x="640" y="441" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P1 to T1" source="P1" target="T1">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="200" y="129" curvePoint="false"/>
            <arcpath id="001" x="256" y="129" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P21 to T7" source="P21" target="T7">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="249" y="380" curvePoint="false"/>
            <arcpath id="001" x="249" y="429" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P23 to T12" source="P23" target="T12">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="549" y="344" curvePoint="false"/>
            <arcpath id="001" x="549" y="393" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P24 to T13" source="P24" target="T13">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="537" y="549" curvePoint="false"/>
            <arcpath id="001" x="537" y="501" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P2 to T2" source="P2" target="T2">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="332" y="129" curvePoint="false"/>
            <arcpath id="001" x="364" y="129" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P3 to T3" source="P3" target="T3">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="428" y="129" curvePoint="false"/>
            <arcpath id="001" x="460" y="129" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P4 to T4" source="P4" target="T4">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="520" y="119" curvePoint="false"/>
            <arcpath id="001" x="556" y="81" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P4 to T5" source="P4" target="T5">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="523" y="134" curvePoint="false"/>
            <arcpath id="001" x="556" y="165" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P5 to T6" source="P5" target="T6">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="620" y="129" curvePoint="false"/>
            <arcpath id="001" x="652" y="129" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="P8 to T2" source="P8" target="T2">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="369" y="68" curvePoint="false"/>
            <arcpath id="001" x="369" y="117" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T10 to P15" source="T10" target="P15">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="408" y="405" curvePoint="false"/>
            <arcpath id="001" x="429" y="405" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T10 to P22" source="T10" target="P22">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="405" y="393" curvePoint="false"/>
            <arcpath id="001" x="405" y="344" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T11 to P18" source="T11" target="P18">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="444" y="489" curvePoint="false"/>
            <arcpath id="001" x="477" y="489" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T11 to P22" source="T11" target="P22">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="441" y="477" curvePoint="false"/>
            <arcpath id="001" x="407" y="376" curvePoint="true"/>
            <arcpath id="002" x="405" y="344" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T12 to P19" source="T12" target="P19">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="552" y="405" curvePoint="false"/>
            <arcpath id="001" x="587" y="433" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T13 to P19" source="T13" target="P19">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="540" y="489" curvePoint="false"/>
            <arcpath id="001" x="587" y="448" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T14 to P20" source="T14" target="P20">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="648" y="441" curvePoint="false"/>
            <arcpath id="001" x="729" y="441" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T14 to P25" source="T14" target="P25">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="645" y="429" curvePoint="false"/>
            <arcpath id="001" x="645" y="380" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T15 to P16" source="T15" target="P16">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="480" y="405" curvePoint="false"/>
            <arcpath id="001" x="501" y="405" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T16 to P15" source="T16" target="P15">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="472" y="357" curvePoint="false"/>
            <arcpath id="001" x="447" y="395" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T1 to P2" source="T1" target="P2">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="264" y="129" curvePoint="false"/>
            <arcpath id="001" x="309" y="129" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T1 to P7" source="T1" target="P7">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="261" y="117" curvePoint="false"/>
            <arcpath id="001" x="261" y="68" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T2 to P3" source="T2" target="P3">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="372" y="129" curvePoint="false"/>
            <arcpath id="001" x="405" y="129" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T3 to P4" source="T3" target="P4">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="468" y="129" curvePoint="false"/>
            <arcpath id="001" x="501" y="129" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T4 to P5" source="T4" target="P5">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="564" y="81" curvePoint="false"/>
            <arcpath id="001" x="600" y="120" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T4 to P9" source="T4" target="P9">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="561" y="69" curvePoint="false"/>
            <arcpath id="001" x="561" y="32" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T5 to P10" source="T5" target="P10">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="561" y="177" curvePoint="false"/>
            <arcpath id="001" x="561" y="213" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T5 to P5" source="T5" target="P5">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="564" y="165" curvePoint="false"/>
            <arcpath id="001" x="599" y="136" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T6 to P6" source="T6" target="P6">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="660" y="129" curvePoint="false"/>
            <arcpath id="001" x="717" y="129" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T7 to P13" source="T7" target="P13">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="252" y="441" curvePoint="false"/>
            <arcpath id="001" x="285" y="441" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T8 to P14" source="T8" target="P14">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="336" y="405" curvePoint="false"/>
            <arcpath id="001" x="357" y="405" curvePoint="false"/>
            <type value="normal"/>
        </arc>
        <arc id="T9 to P17" source="T9" target="P17">
            <graphics/>
            <inscription>
                <value>1</value>
                <graphics/>
            </inscription>
            <tagged>
                <value>false</value>
            </tagged>
            <arcpath id="000" x="348" y="489" curvePoint="false"/>
            <arcpath id="001" x="381" y="489" curvePoint="false"/>
            <type value="normal"/>
        </arc>
    </net>
</pnml>