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="255" y="15"/>
11
<offset x="-20" y="-4"/>
21
<position x="255" y="75"/>
25
<offset x="-21" y="-5"/>
35
<position x="255" y="135"/>
39
<offset x="-20" y="-3"/>
49
<position x="150" y="165"/>
53
<offset x="19" y="-2"/>
63
<position x="255" y="195"/>
67
<offset x="-19" y="-4"/>
77
<position x="450" y="165"/>
81
<offset x="-20" y="-3"/>
91
<position x="210" y="225"/>
95
<offset x="19" y="-2"/>
105
<position x="210" y="360"/>
109
<offset x="-20" y="-3"/>
119
<position x="210" y="285"/>
123
<offset x="25" y="-3"/>
133
<position x="255" y="285"/>
137
<offset x="25" y="-4"/>
147
<position x="315" y="225"/>
151
<offset x="-1" y="13"/>
161
<position x="405" y="225"/>
165
<offset x="-3" y="14"/>
175
<position x="360" y="255"/>
179
<offset x="-19" y="-3"/>
189
<position x="450" y="285"/>
193
<offset x="-19" y="-4"/>
203
<position x="360" y="390"/>
207
<offset x="-19" y="-4"/>
217
<position x="360" y="330"/>
221
<offset x="-19" y="-4"/>
231
<position x="450" y="435"/>
235
<offset x="-19" y="-4"/>
245
<position x="360" y="465"/>
249
<offset x="24" y="-4"/>
259
<position x="255" y="435"/>
263
<offset x="25" y="-4"/>
273
<position x="450" y="495"/>
277
<offset x="-19" y="-4"/>
287
<position x="450" y="570"/>
291
<offset x="-19" y="-4"/>
301
<position x="255" y="570"/>
305
<offset x="24" y="-2"/>
315
<position x="255" y="495"/>
319
<offset x="25" y="-2"/>
329
<position x="360" y="525"/>
333
<offset x="1" y="13"/>
343
<position x="150" y="570"/>
347
<offset x="25" y="-3"/>
357
<position x="150" y="390"/>
361
<offset x="26" y="-3"/>
372
<offset x="-22" y="4"/>
377
<position x="255" y="45"/>
383
<offset x="-22" y="2"/>
388
<position x="255" y="105"/>
394
<offset x="-21" y="10"/>
399
<position x="255" y="180"/>
405
<offset x="-21" y="10"/>
410
<position x="255" y="240"/>
416
<offset x="-21" y="3"/>
421
<position x="450" y="240"/>
427
<offset x="16" y="3"/>
432
<position x="210" y="270"/>
435
<transition id="t10">
438
<offset x="22" y="3"/>
443
<position x="150" y="375"/>
449
<offset x="16" y="1"/>
454
<position x="210" y="330"/>
460
<offset x="-4" y="13"/>
465
<position x="360" y="240"/>
471
<offset x="-15" y="13"/>
476
<position x="360" y="300"/>
479
<transition id="t11">
482
<offset x="-14" y="13"/>
487
<position x="360" y="375"/>
490
<transition id="t13">
493
<offset x="-14" y="13"/>
498
<position x="360" y="435"/>
501
<transition id="t17">
504
<offset x="-21" y="2"/>
509
<position x="450" y="540"/>
512
<transition id="t18">
515
<offset x="-15" y="13"/>
520
<position x="255" y="615"/>
523
<transition id="t15">
526
<offset x="-21" y="2"/>
531
<position x="450" y="465"/>
534
<transition id="t14">
537
<offset x="22" y="4"/>
542
<position x="255" y="465"/>
545
<transition id="t16">
548
<offset x="22" y="3"/>
553
<position x="255" y="540"/>
556
<transition id="t12">
559
<offset x="22" y="2"/>
564
<position x="150" y="435"/>
567
<arc id="p1_to_t1" source="p1" target="t1" type="normal"/>
568
<arc id="p2_to_t2" source="p2" target="t2" type="normal"/>
569
<arc id="p3_to_t3" source="p3" target="t3" type="normal"/>
570
<arc id="p4_to_t10" source="p4" target="t10" type="normal"/>
571
<arc id="p6_to_t4" source="p6" target="t4" type="normal"/>
572
<arc id="p7_to_t7" source="p7" target="t7" type="normal"/>
573
<arc id="p15_to_t10" source="p15" target="t10" type="normal"/>
574
<arc id="p11_to_t9" source="p11" target="t9" type="normal"/>
575
<arc id="p5_to_t6" source="p5" target="t6" type="normal"/>
576
<arc id="p9_to_t5" source="p9" target="t5" type="normal"/>
577
<arc id="p8_to_t5" source="p8" target="t5" type="normal"/>
578
<arc id="p10_to_t8" source="p10" target="t8" type="normal"/>
579
<arc id="p13_to_t8" source="p13" target="t8" type="normal"/>
580
<arc id="p12_to_t8" source="p12" target="t8" type="normal"/>
581
<arc id="p17_to_t13" source="p17" target="t13" type="normal"/>
582
<arc id="p14_to_t11" source="p14" target="t11" type="normal"/>
583
<arc id="p27_to_t18" source="p27" target="t18" type="normal">
585
<position x="456" y="615"/>
588
<arc id="p20_to_t15" source="p20" target="t15" type="normal"/>
589
<arc id="p19_to_t15" source="p19" target="t15" type="normal"/>
590
<arc id="p22_to_t17" source="p22" target="t17" type="normal"/>
591
<arc id="p18_to_t14" source="p18" target="t14" type="normal"/>
592
<arc id="p21_to_t16" source="p21" target="t16" type="normal"/>
593
<arc id="p16_to_t12" source="p16" target="t12" type="normal"/>
594
<arc id="p26_to_t18" source="p26" target="t18" type="normal"/>
595
<arc id="p23_to_t16" source="p23" target="t16" type="normal"/>
596
<arc id="p25_to_t18" source="p25" target="t18" type="normal">
598
<position x="166" y="615"/>
601
<arc id="t1_to_p2" source="t1" target="p2" type="normal"/>
602
<arc id="t2_to_p3" source="t2" target="p3" type="normal"/>
603
<arc id="t3_to_p6" source="t3" target="p6" type="normal"/>
604
<arc id="t3_to_p4" source="t3" target="p4" type="normal"/>
605
<arc id="t4_to_p7" source="t4" target="p7" type="normal"/>
606
<arc id="t7_to_p11" source="t7" target="p11" type="normal"/>
607
<arc id="t3_to_p5" source="t3" target="p5" type="normal"/>
608
<arc id="t9_to_p15" source="t9" target="p15" type="normal"/>
609
<arc id="t4_to_p12" source="t4" target="p12" type="normal"/>
610
<arc id="t6_to_p9" source="t6" target="p9" type="normal"/>
611
<arc id="t4_to_p8" source="t4" target="p8" type="normal"/>
612
<arc id="t6_to_p13" source="t6" target="p13" type="normal"/>
613
<arc id="t5_to_p10" source="t5" target="p10" type="normal"/>
614
<arc id="t11_to_p17" source="t11" target="p17" type="normal"/>
615
<arc id="t8_to_p14" source="t8" target="p14" type="normal"/>
616
<arc id="t13_to_p18" source="t13" target="p18" type="normal"/>
617
<arc id="t13_to_p20" source="t13" target="p20" type="normal"/>
618
<arc id="t13_to_p19" source="t13" target="p19" type="normal"/>
619
<arc id="t15_to_p22" source="t15" target="p22" type="normal"/>
620
<arc id="t17_to_p27" source="t17" target="p27" type="normal"/>
621
<arc id="t14_to_p21" source="t14" target="p21" type="normal"/>
622
<arc id="t16_to_p26" source="t16" target="p26" type="normal"/>
623
<arc id="t10_to_p16" source="t10" target="p16" type="normal"/>
624
<arc id="t12_to_p25" source="t12" target="p25" type="normal"/>
625
<arc id="t17_to_p23" source="t17" target="p23" type="normal"/>
628
<text>ComposedModel</text>