1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
3
<net id="ComposedModel" type="http://www.pnml.org/version-2009/grammar/ptnet">
7
<position x="135" y="300"/>
11
<offset x="32" y="-32"/>
13
<text>StartNode</text>
21
<position x="360" y="45"/>
25
<offset x="-5" y="35"/>
35
<position x="375" y="480"/>
39
<offset x="-5" y="35"/>
49
<position x="750" y="45"/>
53
<offset x="-5" y="35"/>
61
<place id="FinalNode">
63
<position x="750" y="480"/>
67
<offset x="-5" y="35"/>
69
<text>FinalNode</text>
77
<position x="570" y="255"/>
81
<offset x="-5" y="35"/>
92
<offset x="-5" y="35"/>
97
<position x="255" y="180"/>
103
<offset x="-5" y="35"/>
108
<position x="255" y="405"/>
114
<offset x="-5" y="35"/>
119
<position x="375" y="270"/>
125
<offset x="-5" y="35"/>
130
<position x="570" y="45"/>
136
<offset x="-5" y="35"/>
141
<position x="765" y="255"/>
147
<offset x="-5" y="35"/>
152
<position x="570" y="480"/>
158
<offset x="-5" y="35"/>
163
<position x="495" y="345"/>
169
<offset x="-5" y="35"/>
174
<position x="660" y="360"/>
180
<offset x="-5" y="35"/>
185
<position x="645" y="150"/>
188
<arc id="T1_to_P2" source="T1" target="P2" type="normal"/>
189
<arc id="T0_to_P1" source="T0" target="P1" type="normal">
194
<arc id="T5_to_FinalNode" source="T5" target="FinalNode" type="normal"/>
195
<arc id="T3_to_P3" source="T3" target="P3" type="normal"/>
196
<arc id="T4_to_FinalNode" source="T4" target="FinalNode" type="normal"/>
197
<arc id="T2_to_P2" source="T2" target="P2" type="normal"/>
198
<arc id="T6_to_P5" source="T6" target="P5" type="normal"/>
199
<arc id="T7_to_FinalNode" source="T7" target="FinalNode" type="normal"/>
200
<arc id="T8_to_P5" source="T8" target="P5" type="normal"/>
201
<arc id="StartNode_to_T0" source="StartNode" target="T0" type="normal">
206
<arc id="T0_to_StartNode" source="T0" target="StartNode" type="normal">
211
<position x="229" y="274"/>
214
<arc id="StartNode_to_T1" source="StartNode" target="T1" type="normal"/>
215
<arc id="T1_to_StartNode" source="T1" target="StartNode" type="normal">
217
<position x="199" y="394"/>
220
<arc id="P1_to_T2" source="P1" target="T2" type="normal"/>
221
<arc id="T2_to_P1" source="T2" target="P1" type="normal">
223
<position x="424" y="184"/>
226
<arc id="P2_to_T5" source="P2" target="T5" type="normal"/>
227
<arc id="T5_to_P2" source="T5" target="P2" type="normal">
229
<position x="514" y="514"/>
232
<arc id="P1_to_T3" source="P1" target="T3" type="normal"/>
233
<arc id="T3_to_P1" source="T3" target="P1" type="normal">
235
<position x="484" y="79"/>
238
<arc id="P3_to_T4" source="P3" target="T4" type="normal"/>
239
<arc id="T4_to_P3" source="T4" target="P3" type="normal">
241
<position x="799" y="169"/>
244
<arc id="P2_to_T6" source="P2" target="T6" type="normal"/>
245
<arc id="T6_to_P2" source="T6" target="P2" type="normal">
247
<position x="499" y="409"/>
250
<arc id="P5_to_T7" source="P5" target="T7" type="normal"/>
251
<arc id="T7_to_P5" source="T7" target="P5" type="normal">
253
<position x="649" y="304"/>
256
<arc id="P3_to_T8" source="P3" target="T8" type="normal"/>
257
<arc id="T8_to_P3" source="T8" target="P3" type="normal">
259
<position x="724" y="139"/>
262
<arc id="P1_to_T0" source="P1" target="T0" type="inhibitor">
264
<position x="304" y="124"/>
267
<arc id="P2_to_T1" source="P2" target="T1" type="inhibitor">
269
<position x="334" y="439"/>
272
<arc id="P3_to_T3" source="P3" target="T3" type="inhibitor">
274
<position x="649" y="79"/>
277
<arc id="FinalNode_to_T5" source="FinalNode" target="T5" type="inhibitor">
279
<position x="664" y="484"/>
282
<arc id="FinalNode_to_T4" source="FinalNode" target="T4" type="inhibitor">
284
<position x="799" y="364"/>
287
<arc id="P2_to_T2" source="P2" target="T2" type="inhibitor">
289
<position x="409" y="349"/>
292
<arc id="P5_to_T6" source="P5" target="T6" type="inhibitor">
294
<position x="529" y="304"/>
297
<arc id="FinalNode_to_T7" source="FinalNode" target="T7" type="inhibitor">
299
<position x="739" y="424"/>
302
<arc id="P5_to_T8" source="P5" target="T8" type="inhibitor">
304
<position x="619" y="199"/>
309
<text>ComposedModel</text>