1<?xml version="1.0" encoding="iso-8859-1"?> 2<pnml> 3<net id="Net-One" type="P/T net"> 4<place id="P0"> 5<graphics> 6<position x="172.0" y="90.0"/> 7</graphics> 8<name> 9<value>P0</value> 10<graphics/> 11</name> 12<initialMarking> 13<value>5</value> 14<graphics> 15<offset x="0.0" y="0.0"/> 16</graphics> 17</initialMarking> 18</place> 19<place id="P1"> 20<graphics> 21<position x="152.0" y="241.0"/> 22</graphics> 23<name> 24<value>P1</value> 25<graphics/> 26</name> 27<initialMarking> 28<value>0</value> 29<graphics> 30<offset x="0.0" y="0.0"/> 31</graphics> 32</initialMarking> 33</place> 34<place id="P2"> 35<graphics> 36<position x="284.0" y="250.0"/> 37</graphics> 38<name> 39<value>P2</value> 40<graphics/> 41</name> 42<initialMarking> 43<value>3</value> 44<graphics> 45<offset x="0.0" y="0.0"/> 46</graphics> 47</initialMarking> 48</place> 49<place id="P3"> 50<graphics> 51<position x="405.0" y="90.0"/> 52</graphics> 53<name> 54<value>P3</value> 55<graphics/> 56</name> 57<initialMarking> 58<value>2</value> 59<graphics> 60<offset x="0.0" y="0.0"/> 61</graphics> 62</initialMarking> 63</place> 64<place id="P4"> 65<graphics> 66<position x="427.0" y="240.0"/> 67</graphics> 68<name> 69<value>P4</value> 70<graphics/> 71</name> 72<initialMarking> 73<value>0</value> 74<graphics> 75<offset x="0.0" y="0.0"/> 76</graphics> 77</initialMarking> 78</place> 79<transition id="T0"> 80<graphics> 81<position x="158.0" y="165.0"/> 82</graphics> 83<name> 84<value>T0</value> 85<graphics/> 86</name> 87<orientation> 88<value>0</value> 89</orientation> 90<rate> 91<value>1.0</value> 92</rate> 93<timed> 94<value>false</value> 95</timed> 96</transition> 97<transition id="T1"> 98<graphics> 99<position x="203.0" y="292.0"/> 100</graphics> 101<name> 102<value>T1</value> 103<graphics/> 104</name> 105<orientation> 106<value>0</value> 107</orientation> 108<rate> 109<value>1.0</value> 110</rate> 111<timed> 112<value>false</value> 113</timed> 114</transition> 115<transition id="T2"> 116<graphics> 117<position x="420.0" y="165.0"/> 118</graphics> 119<name> 120<value>T2</value> 121<graphics/> 122</name> 123<orientation> 124<value>0</value> 125</orientation> 126<rate> 127<value>1.0</value> 128</rate> 129<timed> 130<value>false</value> 131</timed> 132</transition> 133<transition id="T3"> 134<graphics> 135<position x="352.0" y="293.0"/> 136</graphics> 137<name> 138<value>T3</value> 139<graphics/> 140</name> 141<orientation> 142<value>0</value> 143</orientation> 144<rate> 145<value>1.0</value> 146</rate> 147<timed> 148<value>false</value> 149</timed> 150</transition> 151<arc id="P0 to T0" source="P0" target="T0"> 152<graphics/> 153<inscription> 154<value>1</value> 155<graphics/> 156</inscription> 157<arcpath id="000" x="179" y="115" curvePoint="false"/> 158<arcpath id="001" x="169" y="161" curvePoint="false"/> 159</arc> 160<arc id="P1 to T1" source="P1" target="T1"> 161<graphics/> 162<inscription> 163<value>1</value> 164<graphics/> 165</inscription> 166<arcpath id="000" x="172" y="263" curvePoint="false"/> 167<arcpath id="001" x="208" y="303" curvePoint="false"/> 168</arc> 169<arc id="P2 to T0" source="P2" target="T0"> 170<graphics/> 171<inscription> 172<value>1</value> 173<graphics/> 174</inscription> 175<arcpath id="000" x="282" y="252" curvePoint="false"/> 176<arcpath id="001" x="173" y="176" curvePoint="false"/> 177</arc> 178<arc id="P2 to T2" source="P2" target="T2"> 179<graphics/> 180<inscription> 181<value>3</value> 182<graphics/> 183</inscription> 184<arcpath id="000" x="307" y="252" curvePoint="false"/> 185<arcpath id="001" x="425" y="176" curvePoint="false"/> 186</arc> 187<arc id="P3 to T2" source="P3" target="T2"> 188<graphics/> 189<inscription> 190<value>1</value> 191<graphics/> 192</inscription> 193<arcpath id="000" x="419" y="115" curvePoint="false"/> 194<arcpath id="001" x="431" y="161" curvePoint="false"/> 195</arc> 196<arc id="P4 to T3" source="P4" target="T3"> 197<graphics/> 198<inscription> 199<value>1</value> 200<graphics/> 201</inscription> 202<arcpath id="000" x="426" y="260" curvePoint="false"/> 203<arcpath id="001" x="367" y="304" curvePoint="false"/> 204</arc> 205<arc id="T0 to P1" source="T0" target="P1"> 206<graphics/> 207<inscription> 208<value>1</value> 209<graphics/> 210</inscription> 211<arcpath id="000" x="169" y="191" curvePoint="false"/> 212<arcpath id="001" x="164" y="237" curvePoint="false"/> 213</arc> 214<arc id="T1 to P0" source="T1" target="P0"> 215<graphics/> 216<inscription> 217<value>1</value> 218<graphics/> 219</inscription> 220<arcpath id="000" x="214" y="288" curvePoint="false"/> 221<arcpath id="001" x="185" y="115" curvePoint="false"/> 222</arc> 223<arc id="T1 to P2" source="T1" target="P2"> 224<graphics/> 225<inscription> 226<value>1</value> 227<graphics/> 228</inscription> 229<arcpath id="000" x="218" y="303" curvePoint="false"/> 230<arcpath id="001" x="281" y="268" curvePoint="false"/> 231</arc> 232<arc id="T2 to P4" source="T2" target="P4"> 233<graphics/> 234<inscription> 235<value>1</value> 236<graphics/> 237</inscription> 238<arcpath id="000" x="431" y="191" curvePoint="false"/> 239<arcpath id="001" x="436" y="236" curvePoint="false"/> 240</arc> 241<arc id="T3 to P2" source="T3" target="P2"> 242<graphics/> 243<inscription> 244<value>3</value> 245<graphics/> 246</inscription> 247<arcpath id="000" x="357" y="304" curvePoint="false"/> 248<arcpath id="001" x="307" y="269" curvePoint="false"/> 249</arc> 250<arc id="T3 to P3" source="T3" target="P3"> 251<graphics/> 252<inscription> 253<value>1</value> 254<graphics/> 255</inscription> 256<arcpath id="000" x="363" y="289" curvePoint="false"/> 257<arcpath id="001" x="411" y="115" curvePoint="false"/> 258</arc> 259</net> 260</pnml> 261