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="270" y="240"/>
11
<offset x="-5" y="35"/>
21
<position x="525" y="240"/>
25
<offset x="-5" y="35"/>
35
<position x="750" y="240"/>
39
<offset x="-5" y="35"/>
49
<position x="990" y="240"/>
53
<offset x="-5" y="35"/>
63
<position x="1200" y="225"/>
67
<offset x="-5" y="35"/>
77
<position x="345" y="510"/>
81
<offset x="-5" y="35"/>
91
<position x="525" y="510"/>
95
<offset x="-5" y="35"/>
105
<position x="780" y="510"/>
109
<offset x="-5" y="35"/>
119
<position x="1035" y="510"/>
123
<offset x="-5" y="35"/>
133
<position x="420" y="780"/>
137
<offset x="-5" y="35"/>
147
<position x="660" y="780"/>
151
<offset x="-5" y="35"/>
161
<position x="915" y="780"/>
165
<offset x="-5" y="35"/>
175
<position x="555" y="1005"/>
179
<offset x="-5" y="35"/>
189
<position x="780" y="1005"/>
193
<offset x="-5" y="35"/>
203
<position x="675" y="1200"/>
207
<offset x="-5" y="35"/>
217
<position x="390" y="120"/>
221
<offset x="-5" y="35"/>
231
<position x="645" y="120"/>
235
<offset x="-5" y="35"/>
245
<position x="900" y="120"/>
249
<offset x="-5" y="35"/>
259
<position x="1095" y="120"/>
263
<offset x="-5" y="35"/>
274
<offset x="-5" y="35"/>
279
<position x="450" y="375"/>
285
<offset x="-5" y="35"/>
290
<position x="645" y="375"/>
296
<offset x="-5" y="35"/>
301
<position x="870" y="390"/>
307
<offset x="-5" y="35"/>
312
<position x="1095" y="390"/>
318
<offset x="-5" y="35"/>
323
<position x="435" y="645"/>
329
<offset x="-5" y="35"/>
334
<position x="675" y="630"/>
340
<offset x="-5" y="35"/>
345
<position x="915" y="645"/>
351
<offset x="-5" y="35"/>
356
<position x="555" y="900"/>
362
<offset x="-5" y="35"/>
367
<position x="810" y="900"/>
370
<transition id="T10">
373
<offset x="-5" y="35"/>
378
<position x="675" y="1095"/>
381
<transition id="T11">
384
<offset x="-5" y="35"/>
389
<position x="510" y="120"/>
392
<transition id="T12">
395
<offset x="-5" y="35"/>
400
<position x="795" y="120"/>
403
<transition id="T13">
406
<offset x="-5" y="35"/>
411
<position x="1005" y="120"/>
414
<transition id="T14">
417
<offset x="-5" y="35"/>
422
<position x="780" y="60"/>
425
<arc id="P0_to_T1" source="P0" target="T1" type="normal"/>
426
<arc id="P1_to_T1" source="P1" target="T1" type="normal"/>
427
<arc id="P1_to_T2" source="P1" target="T2" type="normal"/>
428
<arc id="P2_to_T3" source="P2" target="T3" type="normal"/>
429
<arc id="P3_to_T3" source="P3" target="T3" type="normal"/>
430
<arc id="P4_to_T4" source="P4" target="T4" type="normal"/>
431
<arc id="P5_to_T5" source="P5" target="T5" type="normal"/>
432
<arc id="P6_to_T5" source="P6" target="T5" type="normal"/>
433
<arc id="P12_to_T10" source="P12" target="T10" type="normal"/>
434
<arc id="P9_to_T8" source="P9" target="T8" type="normal"/>
435
<arc id="P8_to_T7" source="P8" target="T7" type="normal"/>
436
<arc id="P7_to_T6" source="P7" target="T6" type="normal"/>
437
<arc id="P10_to_T9" source="P10" target="T9" type="normal"/>
438
<arc id="P15_to_T11" source="P15" target="T11" type="normal"/>
439
<arc id="P16_to_T12" source="P16" target="T12" type="normal"/>
440
<arc id="P17_to_T13" source="P17" target="T13" type="normal"/>
441
<arc id="P18_to_T14" source="P18" target="T14" type="normal"/>
442
<arc id="P17_to_T3" source="P17" target="T3" type="normal">
444
<position x="853" y="253"/>
447
<arc id="P18_to_T4" source="P18" target="T4" type="normal">
449
<position x="1063" y="268"/>
452
<arc id="T1_to_P5" source="T1" target="P5" type="normal"/>
453
<arc id="T2_to_P6" source="T2" target="P6" type="normal"/>
454
<arc id="T3_to_P8" source="T3" target="P8" type="normal"/>
455
<arc id="T4_to_P8" source="T4" target="P8" type="normal"/>
456
<arc id="T5_to_P9" source="T5" target="P9" type="normal"/>
457
<arc id="T11_to_P16" source="T11" target="P16" type="normal"/>
458
<arc id="T12_to_P17" source="T12" target="P17" type="normal"/>
459
<arc id="T13_to_P18" source="T13" target="P18" type="normal"/>
460
<arc id="T14_to_P15" source="T14" target="P15" type="normal">
462
<position x="418" y="73"/>
465
<arc id="T3_to_P17" source="T3" target="P17" type="normal">
467
<position x="943" y="238"/>
470
<arc id="T4_to_P18" source="T4" target="P18" type="normal">
472
<position x="1153" y="238"/>
475
<arc id="P2_to_T2" source="P2" target="T2" type="normal"/>
476
<arc id="T2_to_P7" source="T2" target="P7" type="normal"/>
477
<arc id="P7_to_T7" source="P7" target="T7" type="normal"/>
478
<arc id="T7_to_P11" source="T7" target="P11" type="normal"/>
479
<arc id="P11_to_T9" source="P11" target="T9" type="normal"/>
480
<arc id="T9_to_P13" source="T9" target="P13" type="normal"/>
481
<arc id="P13_to_T10" source="P13" target="T10" type="normal"/>
482
<arc id="T10_to_final" source="T10" target="final" type="normal"/>
483
<arc id="P6_to_T6" source="P6" target="T6" type="normal"/>
484
<arc id="T6_to_P10" source="T6" target="P10" type="normal"/>
485
<arc id="P10_to_T8" source="P10" target="T8" type="normal"/>
486
<arc id="T8_to_P12" source="T8" target="P12" type="normal"/>
487
<arc id="P15_to_T1" source="P15" target="T1" type="normal">
489
<position x="388" y="253"/>
492
<arc id="T1_to_P15" source="T1" target="P15" type="normal">
494
<position x="463" y="223"/>
497
<arc id="P16_to_T2" source="P16" target="T2" type="normal">
499
<position x="613" y="253"/>
502
<arc id="T2_to_P16" source="T2" target="P16" type="normal">
504
<position x="688" y="268"/>
509
<text>ComposedModel</text>