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="105" y="105"/>
11
<offset x="0" y="-10"/>
21
<position x="105" y="105"/>
25
<offset x="0" y="-10"/>
35
<position x="105" y="105"/>
39
<offset x="0" y="-10"/>
49
<position x="105" y="105"/>
53
<offset x="0" y="-10"/>
63
<position x="105" y="105"/>
67
<offset x="0" y="-10"/>
77
<position x="105" y="105"/>
81
<offset x="0" y="-10"/>
91
<position x="105" y="105"/>
95
<offset x="0" y="-10"/>
105
<position x="105" y="105"/>
109
<offset x="0" y="-10"/>
119
<position x="105" y="105"/>
123
<offset x="0" y="-10"/>
133
<position x="105" y="105"/>
137
<offset x="0" y="-10"/>
147
<position x="105" y="105"/>
151
<offset x="0" y="-10"/>
161
<position x="105" y="105"/>
165
<offset x="0" y="-10"/>
175
<position x="105" y="105"/>
179
<offset x="0" y="-10"/>
189
<position x="105" y="105"/>
193
<offset x="0" y="-10"/>
203
<position x="105" y="105"/>
207
<offset x="0" y="-10"/>
217
<position x="105" y="105"/>
221
<offset x="0" y="-10"/>
231
<position x="105" y="105"/>
235
<offset x="0" y="-10"/>
245
<position x="105" y="105"/>
249
<offset x="0" y="-10"/>
259
<position x="105" y="105"/>
263
<offset x="0" y="-10"/>
273
<position x="105" y="105"/>
277
<offset x="0" y="-10"/>
287
<position x="105" y="105"/>
291
<offset x="0" y="-10"/>
301
<position x="105" y="105"/>
305
<offset x="0" y="-10"/>
315
<position x="105" y="105"/>
319
<offset x="0" y="-10"/>
329
<position x="105" y="105"/>
333
<offset x="0" y="-10"/>
343
<position x="105" y="105"/>
347
<offset x="0" y="-10"/>
355
<transition id="ssF">
358
<offset x="0" y="-10"/>
363
<position x="105" y="105"/>
366
<transition id="srF">
369
<offset x="0" y="-10"/>
374
<position x="105" y="105"/>
377
<transition id="msA">
380
<offset x="0" y="-10"/>
385
<position x="105" y="105"/>
388
<transition id="mfU">
391
<offset x="0" y="-10"/>
396
<position x="105" y="105"/>
399
<transition id="mrF">
402
<offset x="0" y="-10"/>
407
<position x="105" y="105"/>
410
<transition id="msG">
413
<offset x="0" y="-10"/>
418
<position x="105" y="105"/>
421
<transition id="maU">
424
<offset x="0" y="-10"/>
429
<position x="105" y="105"/>
432
<transition id="mrR">
435
<offset x="0" y="-10"/>
440
<position x="105" y="105"/>
443
<transition id="srR">
446
<offset x="0" y="-10"/>
451
<position x="105" y="105"/>
454
<transition id="ssR">
457
<offset x="0" y="-10"/>
462
<position x="105" y="105"/>
465
<transition id="srG">
468
<offset x="0" y="-10"/>
473
<position x="105" y="105"/>
476
<transition id="ssG">
479
<offset x="0" y="-10"/>
484
<position x="105" y="105"/>
487
<transition id="srA">
490
<offset x="0" y="-10"/>
495
<position x="105" y="105"/>
498
<transition id="ssA">
501
<offset x="0" y="-10"/>
506
<position x="105" y="105"/>
509
<transition id="crA">
512
<offset x="0" y="-10"/>
517
<position x="105" y="105"/>
520
<transition id="csF">
523
<offset x="0" y="-10"/>
528
<position x="105" y="105"/>
531
<transition id="crG">
534
<offset x="0" y="-10"/>
539
<position x="105" y="105"/>
542
<transition id="csR">
545
<offset x="0" y="-10"/>
550
<position x="105" y="105"/>
553
<arc id="Uf_to_maU" source="Uf" target="maU" type="normal"/>
554
<arc id="Mi_to_mrF" source="Mi" target="mrF" type="normal"/>
555
<arc id="SG_to_srG" source="SG" target="srG" type="normal"/>
556
<arc id="SA_to_srA" source="SA" target="srA" type="normal"/>
557
<arc id="SF_to_mrF" source="SF" target="mrF" type="normal"/>
558
<arc id="SR_to_mrR" source="SR" target="mrR" type="normal"/>
559
<arc id="CA_to_crA" source="CA" target="crA" type="normal"/>
560
<arc id="Si_to_srF" source="Si" target="srF" type="normal"/>
561
<arc id="CF_to_srF" source="CF" target="srF" type="normal"/>
562
<arc id="StF_to_ssF" source="StF" target="ssF" type="normal"/>
563
<arc id="CG_to_crG" source="CG" target="crG" type="normal"/>
564
<arc id="CR_to_srR" source="CR" target="srR" type="normal"/>
565
<arc id="CwG_to_crG" source="CwG" target="crG" type="normal"/>
566
<arc id="MpA_to_msA" source="MpA" target="msA" type="normal"/>
567
<arc id="MtF_to_mfU" source="MtF" target="mfU" type="normal"/>
568
<arc id="MpG_to_msG" source="MpG" target="msG" type="normal"/>
569
<arc id="MwU_to_maU" source="MwU" target="maU" type="normal"/>
570
<arc id="Mi_to_mrR" source="Mi" target="mrR" type="normal"/>
571
<arc id="SpG_to_ssG" source="SpG" target="ssG" type="normal"/>
572
<arc id="SpA_to_ssA" source="SpA" target="ssA" type="normal"/>
573
<arc id="SwA_to_srA" source="SwA" target="srA" type="normal"/>
574
<arc id="SwG_to_srG" source="SwG" target="srG" type="normal"/>
575
<arc id="StR_to_ssR" source="StR" target="ssR" type="normal"/>
576
<arc id="Si_to_srR" source="Si" target="srR" type="normal"/>
577
<arc id="Cb_to_csF" source="Cb" target="csF" type="normal"/>
578
<arc id="CwA_to_crA" source="CwA" target="crA" type="normal"/>
579
<arc id="Ci_to_csR" source="Ci" target="csR" type="normal"/>
580
<arc id="mfU_to_Uf" source="mfU" target="Uf" type="normal"/>
581
<arc id="msG_to_Mi" source="msG" target="Mi" type="normal"/>
582
<arc id="msA_to_SA" source="msA" target="SA" type="normal"/>
583
<arc id="ssF_to_SF" source="ssF" target="SF" type="normal"/>
584
<arc id="ssR_to_SR" source="ssR" target="SR" type="normal"/>
585
<arc id="ssF_to_SwA" source="ssF" target="SwA" type="normal"/>
586
<arc id="ssA_to_CA" source="ssA" target="CA" type="normal"/>
587
<arc id="csF_to_CF" source="csF" target="CF" type="normal"/>
588
<arc id="srF_to_StF" source="srF" target="StF" type="normal"/>
589
<arc id="ssG_to_Si" source="ssG" target="Si" type="normal"/>
590
<arc id="ssG_to_CG" source="ssG" target="CG" type="normal"/>
591
<arc id="csR_to_CR" source="csR" target="CR" type="normal"/>
592
<arc id="csF_to_CwA" source="csF" target="CwA" type="normal"/>
593
<arc id="crA_to_Ci" source="crA" target="Ci" type="normal"/>
594
<arc id="msA_to_Mi" source="msA" target="Mi" type="normal"/>
595
<arc id="msG_to_SG" source="msG" target="SG" type="normal"/>
596
<arc id="mfU_to_MpA" source="mfU" target="MpA" type="normal"/>
597
<arc id="mrF_to_MtF" source="mrF" target="MtF" type="normal"/>
598
<arc id="maU_to_MpG" source="maU" target="MpG" type="normal"/>
599
<arc id="mrR_to_MwU" source="mrR" target="MwU" type="normal"/>
600
<arc id="ssA_to_Si" source="ssA" target="Si" type="normal"/>
601
<arc id="srG_to_SpG" source="srG" target="SpG" type="normal"/>
602
<arc id="srA_to_SpA" source="srA" target="SpA" type="normal"/>
603
<arc id="ssR_to_SwG" source="ssR" target="SwG" type="normal"/>
604
<arc id="srR_to_StR" source="srR" target="StR" type="normal"/>
605
<arc id="crG_to_Cb" source="crG" target="Cb" type="normal"/>
606
<arc id="csR_to_CwG" source="csR" target="CwG" type="normal"/>
609
<text>ComposedModel</text>