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="405" y="90"/>
11
<offset x="-5" y="35"/>
21
<position x="630" y="105"/>
25
<offset x="-5" y="35"/>
35
<position x="825" y="105"/>
39
<offset x="-5" y="35"/>
49
<position x="405" y="270"/>
53
<offset x="-5" y="35"/>
63
<position x="630" y="255"/>
67
<offset x="-5" y="35"/>
77
<position x="840" y="255"/>
81
<offset x="-5" y="35"/>
91
<position x="210" y="465"/>
95
<offset x="-5" y="35"/>
105
<position x="405" y="450"/>
109
<offset x="-5" y="35"/>
119
<position x="660" y="450"/>
123
<offset x="-5" y="35"/>
133
<position x="840" y="465"/>
137
<offset x="-5" y="35"/>
147
<position x="1050" y="630"/>
151
<offset x="-5" y="35"/>
161
<position x="720" y="585"/>
165
<offset x="-5" y="35"/>
175
<position x="735" y="705"/>
179
<offset x="-5" y="35"/>
189
<position x="480" y="585"/>
193
<offset x="-5" y="35"/>
203
<position x="480" y="690"/>
207
<offset x="-5" y="35"/>
217
<position x="135" y="660"/>
221
<offset x="-5" y="35"/>
231
<position x="285" y="195"/>
235
<offset x="-2" y="33"/>
245
<position x="285" y="30"/>
249
<offset x="-5" y="35"/>
259
<position x="555" y="195"/>
263
<offset x="-5" y="35"/>
273
<position x="555" y="30"/>
277
<offset x="-5" y="35"/>
287
<position x="765" y="195"/>
291
<offset x="-5" y="35"/>
301
<position x="750" y="45"/>
305
<offset x="-5" y="35"/>
315
<position x="75" y="225"/>
319
<offset x="-5" y="35"/>
330
<offset x="-5" y="35"/>
335
<position x="855" y="630"/>
341
<offset x="-5" y="35"/>
346
<position x="885" y="720"/>
352
<offset x="-5" y="35"/>
357
<position x="900" y="810"/>
363
<offset x="-5" y="35"/>
368
<position x="600" y="585"/>
374
<offset x="-5" y="35"/>
379
<position x="615" y="765"/>
385
<offset x="-5" y="35"/>
390
<position x="615" y="630"/>
396
<offset x="-5" y="35"/>
401
<position x="615" y="675"/>
404
<transition id="T10">
407
<offset x="-5" y="35"/>
412
<position x="615" y="825"/>
415
<transition id="T11">
418
<offset x="-5" y="35"/>
423
<position x="615" y="900"/>
426
<transition id="T12">
429
<offset x="-5" y="35"/>
434
<position x="360" y="540"/>
437
<transition id="T13">
440
<offset x="-5" y="35"/>
445
<position x="360" y="585"/>
448
<transition id="T14">
451
<offset x="-5" y="35"/>
456
<position x="360" y="630"/>
459
<transition id="T15">
462
<offset x="-5" y="35"/>
467
<position x="360" y="780"/>
470
<transition id="T16">
473
<offset x="-5" y="35"/>
478
<position x="360" y="840"/>
481
<transition id="T17">
484
<offset x="-5" y="35"/>
489
<position x="360" y="915"/>
492
<transition id="T18">
495
<offset x="-5" y="35"/>
500
<position x="915" y="885"/>
503
<transition id="T19">
506
<offset x="-5" y="35"/>
511
<position x="615" y="705"/>
514
<transition id="T20">
517
<offset x="-5" y="35"/>
522
<position x="615" y="945"/>
525
<transition id="T21">
528
<offset x="-5" y="35"/>
533
<position x="360" y="675"/>
536
<transition id="T22">
539
<offset x="-5" y="35"/>
544
<position x="360" y="975"/>
547
<transition id="T23">
550
<offset x="-5" y="35"/>
555
<position x="345" y="60"/>
558
<transition id="T24">
561
<offset x="-5" y="35"/>
566
<position x="345" y="195"/>
569
<transition id="T25">
572
<offset x="-5" y="35"/>
577
<position x="585" y="60"/>
580
<transition id="T26">
583
<offset x="-5" y="35"/>
588
<position x="585" y="210"/>
591
<transition id="T27">
594
<offset x="-5" y="35"/>
599
<position x="780" y="75"/>
602
<transition id="T28">
605
<offset x="-5" y="35"/>
610
<position x="795" y="240"/>
613
<arc id="P13_to_T3" source="P13" target="T3" type="normal">
615
<position x="958" y="493"/>
618
<arc id="P9_to_T3" source="P9" target="T3" type="normal">
620
<position x="1048" y="463"/>
623
<arc id="P18_to_T3" source="P18" target="T3" type="normal"/>
624
<arc id="P18_to_T4" source="P18" target="T4" type="normal"/>
625
<arc id="P9_to_T4" source="P9" target="T4" type="normal">
627
<position x="1108" y="478"/>
630
<arc id="P18_to_T5" source="P18" target="T5" type="normal"/>
631
<arc id="P13_to_T5" source="P13" target="T5" type="normal">
633
<position x="1063" y="583"/>
636
<arc id="P19_to_T6" source="P19" target="T6" type="normal"/>
637
<arc id="P12_to_T6" source="P12" target="T6" type="normal"/>
638
<arc id="P8_to_T6" source="P8" target="T6" type="normal">
640
<position x="583" y="448"/>
643
<arc id="P19_to_T8" source="P19" target="T8" type="normal"/>
644
<arc id="P12_to_T8" source="P12" target="T8" type="normal">
646
<position x="748" y="493"/>
649
<arc id="P8_to_T9" source="P8" target="T9" type="normal">
651
<position x="763" y="553"/>
654
<arc id="P20_to_T7" source="P20" target="T7" type="normal">
656
<position x="673" y="778"/>
659
<arc id="P12_to_T7" source="P12" target="T7" type="normal">
661
<position x="778" y="643"/>
664
<arc id="P8_to_T7" source="P8" target="T7" type="normal">
666
<position x="808" y="598"/>
669
<arc id="P20_to_T10" source="P20" target="T10" type="normal">
671
<position x="688" y="853"/>
674
<arc id="P20_to_T11" source="P20" target="T11" type="normal">
676
<position x="733" y="898"/>
679
<arc id="P12_to_T10" source="P12" target="T10" type="normal">
681
<position x="838" y="613"/>
684
<arc id="P8_to_T11" source="P8" target="T11" type="normal">
686
<position x="808" y="823"/>
689
<arc id="P18_to_T18" source="P18" target="T18" type="normal">
691
<position x="1048" y="868"/>
694
<arc id="P19_to_T19" source="P19" target="T19" type="normal">
696
<position x="673" y="688"/>
699
<arc id="P20_to_T20" source="P20" target="T20" type="normal">
701
<position x="718" y="958"/>
704
<arc id="P21_to_T12" source="P21" target="T12" type="normal"/>
705
<arc id="P11_to_T12" source="P11" target="T12" type="normal">
707
<position x="343" y="448"/>
710
<arc id="P7_to_T12" source="P7" target="T12" type="normal">
712
<position x="313" y="343"/>
715
<arc id="P11_to_T13" source="P11" target="T13" type="normal">
717
<position x="478" y="478"/>
720
<arc id="P21_to_T14" source="P21" target="T14" type="normal">
722
<position x="448" y="643"/>
725
<arc id="P21_to_T13" source="P21" target="T13" type="normal"/>
726
<arc id="P7_to_T14" source="P7" target="T14" type="normal">
728
<position x="553" y="448"/>
731
<arc id="P21_to_T21" source="P21" target="T21" type="normal"/>
732
<arc id="P22_to_T15" source="P22" target="T15" type="normal"/>
733
<arc id="P11_to_T15" source="P11" target="T15" type="normal">
735
<position x="493" y="553"/>
738
<arc id="P7_to_T15" source="P7" target="T15" type="normal">
740
<position x="493" y="658"/>
743
<arc id="P22_to_T16" source="P22" target="T16" type="normal">
745
<position x="433" y="853"/>
748
<arc id="P11_to_T16" source="P11" target="T16" type="normal">
750
<position x="493" y="853"/>
753
<arc id="P22_to_T17" source="P22" target="T17" type="normal">
755
<position x="448" y="928"/>
758
<arc id="P7_to_T17" source="P7" target="T17" type="normal">
760
<position x="493" y="943"/>
763
<arc id="P22_to_T22" source="P22" target="T22" type="normal">
765
<position x="463" y="1018"/>
768
<arc id="P19_to_T9" source="P19" target="T9" type="normal">
770
<position x="718" y="658"/>
773
<arc id="P13_to_T28" source="P13" target="T28" type="normal"/>
774
<arc id="P9_to_T27" source="P9" target="T27" type="normal"/>
775
<arc id="P12_to_T26" source="P12" target="T26" type="normal"/>
776
<arc id="P8_to_T25" source="P8" target="T25" type="normal"/>
777
<arc id="P7_to_T23" source="P7" target="T23" type="normal"/>
778
<arc id="P11_to_T24" source="P11" target="T24" type="normal"/>
779
<arc id="P18_to_T28" source="P18" target="T28" type="normal">
781
<position x="793" y="343"/>
784
<arc id="P18_to_T27" source="P18" target="T27" type="normal">
786
<position x="1018" y="163"/>
789
<arc id="P18_to_T26" source="P18" target="T26" type="normal">
791
<position x="628" y="208"/>
794
<arc id="P18_to_T25" source="P18" target="T25" type="normal">
796
<position x="658" y="43"/>
799
<arc id="P18_to_T23" source="P18" target="T23" type="normal">
801
<position x="403" y="28"/>
804
<arc id="P18_to_T24" source="P18" target="T24" type="normal">
806
<position x="388" y="193"/>
809
<arc id="T3_to_P19" source="T3" target="P19" type="normal"/>
810
<arc id="T4_to_P20" source="T4" target="P20" type="normal"/>
811
<arc id="T4_to_r1" source="T4" target="r1" type="normal">
813
<position x="943" y="628"/>
816
<arc id="T5_to_P20" source="T5" target="P20" type="normal"/>
817
<arc id="T5_to_r1" source="T5" target="r1" type="normal">
819
<position x="973" y="583"/>
822
<arc id="T6_to_r2" source="T6" target="r2" type="normal">
824
<position x="688" y="538"/>
827
<arc id="T6_to_P21" source="T6" target="P21" type="normal"/>
828
<arc id="T8_to_P21" source="T8" target="P21" type="normal"/>
829
<arc id="T9_to_P21" source="T9" target="P21" type="normal"/>
830
<arc id="T7_to_P21" source="T7" target="P21" type="normal"/>
831
<arc id="T10_to_P22" source="T10" target="P22" type="normal"/>
832
<arc id="T11_to_P22" source="T11" target="P22" type="normal"/>
833
<arc id="T18_to_P20" source="T18" target="P20" type="normal">
835
<position x="853" y="883"/>
838
<arc id="T19_to_P22" source="T19" target="P22" type="normal"/>
839
<arc id="T19_to_r2" source="T19" target="r2" type="normal">
841
<position x="538" y="538"/>
844
<arc id="T20_to_P22" source="T20" target="P22" type="normal">
846
<position x="538" y="898"/>
849
<arc id="T12_to_done" source="T12" target="done" type="normal"/>
850
<arc id="T12_to_r8" source="T12" target="r8" type="normal"/>
851
<arc id="T12_to_r4" source="T12" target="r4" type="normal"/>
852
<arc id="T13_to_r8" source="T13" target="r8" type="normal"/>
853
<arc id="T14_to_r8" source="T14" target="r8" type="normal">
855
<position x="283" y="613"/>
858
<arc id="T13_to_done" source="T13" target="done" type="normal"/>
859
<arc id="T14_to_done" source="T14" target="done" type="normal"/>
860
<arc id="T21_to_r4" source="T21" target="r4" type="normal">
862
<position x="298" y="673"/>
863
<position x="313" y="493"/>
866
<arc id="T21_to_done" source="T21" target="done" type="normal"/>
867
<arc id="T15_to_done" source="T15" target="done" type="normal"/>
868
<arc id="T15_to_r8" source="T15" target="r8" type="normal"/>
869
<arc id="T16_to_done" source="T16" target="done" type="normal">
871
<position x="223" y="808"/>
874
<arc id="T16_to_r4" source="T16" target="r4" type="normal">
876
<position x="283" y="718"/>
879
<arc id="T17_to_done" source="T17" target="done" type="normal">
881
<position x="208" y="883"/>
884
<arc id="T17_to_r4" source="T17" target="r4" type="normal">
886
<position x="253" y="763"/>
889
<arc id="T22_to_done" source="T22" target="done" type="normal">
891
<position x="178" y="943"/>
894
<arc id="T28_to_l1" source="T28" target="l1" type="normal"/>
895
<arc id="T27_to_h1" source="T27" target="h1" type="normal"/>
896
<arc id="T26_to_l2" source="T26" target="l2" type="normal"/>
897
<arc id="T25_to_h2" source="T25" target="h2" type="normal"/>
898
<arc id="T23_to_h4" source="T23" target="h4" type="normal"/>
899
<arc id="T24_to_l4" source="T24" target="l4" type="normal"/>
900
<arc id="T28_to_P18" source="T28" target="P18" type="normal">
902
<position x="868" y="358"/>
905
<arc id="T27_to_P18" source="T27" target="P18" type="normal">
907
<position x="1108" y="118"/>
910
<arc id="T26_to_P18" source="T26" target="P18" type="normal">
912
<position x="1018" y="643"/>
915
<arc id="T25_to_P18" source="T25" target="P18" type="normal">
917
<position x="688" y="118"/>
920
<arc id="T23_to_P18" source="T23" target="P18" type="normal">
922
<position x="403" y="73"/>
925
<arc id="T24_to_P18" source="T24" target="P18" type="normal">
927
<position x="553" y="343"/>
930
<arc id="P13_to_T4" source="P13" target="T4" type="inhibitor">
932
<position x="1003" y="553"/>
935
<arc id="P9_to_T5" source="P9" target="T5" type="inhibitor">
937
<position x="1168" y="523"/>
940
<arc id="P8_to_T8" source="P8" target="T8" type="inhibitor">
942
<position x="778" y="478"/>
945
<arc id="P12_to_T9" source="P12" target="T9" type="inhibitor">
947
<position x="718" y="583"/>
950
<arc id="P8_to_T10" source="P8" target="T10" type="inhibitor">
952
<position x="823" y="553"/>
955
<arc id="P12_to_T11" source="P12" target="T11" type="inhibitor">
957
<position x="853" y="598"/>
960
<arc id="P13_to_T18" source="P13" target="T18" type="inhibitor">
962
<position x="1018" y="823"/>
965
<arc id="P9_to_T18" source="P9" target="T18" type="inhibitor">
967
<position x="1138" y="733"/>
970
<arc id="P12_to_T19" source="P12" target="T19" type="inhibitor">
972
<position x="553" y="493"/>
975
<arc id="P8_to_T19" source="P8" target="T19" type="inhibitor">
977
<position x="703" y="703"/>
980
<arc id="P12_to_T20" source="P12" target="T20" type="inhibitor">
982
<position x="778" y="898"/>
985
<arc id="P8_to_T20" source="P8" target="T20" type="inhibitor">
987
<position x="808" y="928"/>
990
<arc id="P7_to_T13" source="P7" target="T13" type="inhibitor">
992
<position x="538" y="463"/>
995
<arc id="P11_to_T14" source="P11" target="T14" type="inhibitor">
997
<position x="493" y="433"/>
1000
<arc id="P11_to_T21" source="P11" target="T21" type="inhibitor">
1002
<position x="463" y="658"/>
1005
<arc id="P7_to_T21" source="P7" target="T21" type="inhibitor">
1007
<position x="478" y="658"/>
1010
<arc id="P7_to_T16" source="P7" target="T16" type="inhibitor">
1012
<position x="478" y="883"/>
1015
<arc id="P11_to_T17" source="P11" target="T17" type="inhibitor">
1017
<position x="463" y="973"/>
1020
<arc id="P11_to_T22" source="P11" target="T22" type="inhibitor">
1022
<position x="418" y="973"/>
1025
<arc id="P7_to_T22" source="P7" target="T22" type="inhibitor">
1027
<position x="433" y="988"/>
1032
<text>ComposedModel</text>