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">
5
<place id="Shared_Number">
7
<position x="570" y="105"/>
11
<offset x="-5" y="35"/>
13
<text>Shared_Number</text>
19
<place id="Shared_Number_Dual">
21
<position x="570" y="315"/>
25
<offset x="-5" y="35"/>
27
<text>Shared_Number_Dual</text>
33
<place id="Shared_Move_Start">
35
<position x="45" y="180"/>
39
<offset x="21" y="57"/>
41
<text>Shared_Move_Start</text>
47
<place id="Shared_Move_End">
49
<position x="45" y="315"/>
53
<offset x="17" y="63"/>
55
<text>Shared_Move_End</text>
61
<place id="Shared_Test_Start">
63
<position x="285" y="0"/>
67
<offset x="-5" y="35"/>
69
<text>Shared_Test_Start</text>
75
<place id="Shared_Test_End">
77
<position x="675" y="570"/>
81
<offset x="-5" y="35"/>
83
<text>Shared_Test_End</text>
89
<place id="Shared_Devidor">
91
<position x="45" y="120"/>
95
<offset x="8" y="59"/>
97
<text>Shared_Devidor</text>
103
<place id="Shared_Devidor_Dual">
105
<position x="30" y="345"/>
109
<offset x="54" y="62"/>
111
<text>Shared_Devidor_Dual</text>
117
<place id="Shared_NotPrime">
119
<position x="750" y="195"/>
123
<offset x="-5" y="35"/>
125
<text>Shared_NotPrime</text>
131
<place id="Shared_IsPrime">
133
<position x="375" y="495"/>
137
<offset x="-5" y="35"/>
139
<text>Shared_IsPrime</text>
145
<place id="Shared_TestDone_Start">
147
<position x="690" y="405"/>
151
<offset x="-5" y="35"/>
153
<text>Shared_TestDone_Start</text>
159
<place id="Shared_TestDone_End">
161
<position x="690" y="525"/>
165
<offset x="-5" y="35"/>
167
<text>Shared_TestDone_End</text>
173
<place id="MoveDualtoNumber_P4">
175
<position x="285" y="225"/>
179
<offset x="-5" y="35"/>
181
<text>MoveDualtoNumber_P4</text>
187
<place id="Controller_start">
189
<position x="1140" y="135"/>
193
<offset x="-5" y="35"/>
195
<text>Controller_start</text>
201
<place id="Devision_P9">
203
<position x="195" y="765"/>
207
<offset x="-5" y="35"/>
209
<text>Devision_P9</text>
215
<place id="Devision_P10">
217
<position x="360" y="765"/>
221
<offset x="-5" y="35"/>
223
<text>Devision_P10</text>
229
<place id="Devision_P12">
231
<position x="285" y="1095"/>
235
<offset x="-5" y="35"/>
237
<text>Devision_P12</text>
243
<place id="Devision_P13">
245
<position x="735" y="675"/>
249
<offset x="-5" y="35"/>
251
<text>Devision_P13</text>
257
<place id="TestDone_P6">
259
<position x="1140" y="840"/>
263
<offset x="-5" y="35"/>
265
<text>TestDone_P6</text>
271
<place id="TestDone_P7">
273
<position x="1380" y="855"/>
277
<offset x="-5" y="35"/>
279
<text>TestDone_P7</text>
285
<transition id="MoveDualtoNumber_T0">
288
<offset x="-5" y="35"/>
290
<text>MoveDualtoNumber_T0</text>
293
<position x="270" y="120"/>
296
<transition id="MoveDualtoNumber_T1">
299
<offset x="-5" y="35"/>
301
<text>MoveDualtoNumber_T1</text>
304
<position x="435" y="240"/>
307
<transition id="MoveDualtoNumber_T2">
310
<offset x="-5" y="35"/>
312
<text>MoveDualtoNumber_T2</text>
315
<position x="285" y="345"/>
318
<transition id="Controller_T0">
321
<offset x="-5" y="35"/>
323
<text>Controller_T0</text>
326
<position x="1140" y="210"/>
329
<transition id="Controller_T1">
332
<offset x="-5" y="35"/>
334
<text>Controller_T1</text>
337
<position x="1140" y="285"/>
340
<transition id="Controller_T2">
343
<offset x="-5" y="35"/>
345
<text>Controller_T2</text>
348
<position x="1140" y="360"/>
351
<transition id="Controller_T3">
354
<offset x="-5" y="35"/>
356
<text>Controller_T3</text>
359
<position x="1335" y="480"/>
362
<transition id="Devision_T7">
365
<offset x="-5" y="35"/>
367
<text>Devision_T7</text>
370
<position x="210" y="645"/>
373
<transition id="Devision_T8">
376
<offset x="-5" y="35"/>
378
<text>Devision_T8</text>
381
<position x="360" y="645"/>
384
<transition id="Devision_T9">
387
<offset x="-5" y="35"/>
389
<text>Devision_T9</text>
392
<position x="195" y="900"/>
395
<transition id="Devision_T10">
398
<offset x="-5" y="35"/>
400
<text>Devision_T10</text>
403
<position x="375" y="915"/>
406
<transition id="Devision_T11">
409
<offset x="-5" y="35"/>
411
<text>Devision_T11</text>
414
<position x="285" y="720"/>
417
<transition id="Devision_T12">
420
<offset x="-5" y="35"/>
422
<text>Devision_T12</text>
425
<position x="270" y="810"/>
428
<transition id="Devision_T14">
431
<offset x="-5" y="35"/>
433
<text>Devision_T14</text>
436
<position x="135" y="1095"/>
439
<transition id="Devision_T15">
442
<offset x="-5" y="35"/>
444
<text>Devision_T15</text>
447
<position x="585" y="780"/>
450
<transition id="Devision_T16">
453
<offset x="-5" y="35"/>
455
<text>Devision_T16</text>
458
<position x="585" y="735"/>
461
<transition id="Devision_T17">
464
<offset x="-5" y="35"/>
466
<text>Devision_T17</text>
469
<position x="300" y="1020"/>
472
<transition id="Devision_T18">
475
<offset x="-5" y="35"/>
477
<text>Devision_T18</text>
480
<position x="480" y="1110"/>
483
<transition id="Devision_T19">
486
<offset x="-5" y="35"/>
488
<text>Devision_T19</text>
491
<position x="375" y="1140"/>
494
<transition id="TestDone_T0">
497
<offset x="-5" y="35"/>
499
<text>TestDone_T0</text>
502
<position x="975" y="840"/>
505
<transition id="TestDone_T1">
508
<offset x="-5" y="35"/>
510
<text>TestDone_T1</text>
513
<position x="1140" y="735"/>
516
<transition id="TestDone_T2">
519
<offset x="-5" y="35"/>
521
<text>TestDone_T2</text>
524
<position x="1485" y="855"/>
527
<transition id="TestDone_T3">
530
<offset x="-5" y="35"/>
532
<text>TestDone_T3</text>
535
<position x="1155" y="960"/>
538
<transition id="TestDone_T4">
541
<offset x="-5" y="35"/>
543
<text>TestDone_T4</text>
546
<position x="1260" y="840"/>
549
<transition id="TestDone_T5">
552
<offset x="-5" y="35"/>
554
<text>TestDone_T5</text>
557
<position x="1380" y="780"/>
560
<arc id="Shared_Move_Start_to_MoveDualtoNumber_T0" source="Shared_Move_Start" target="MoveDualtoNumber_T0" type="normal"/>
561
<arc id="MoveDualtoNumber_P4_to_MoveDualtoNumber_T1" source="MoveDualtoNumber_P4" target="MoveDualtoNumber_T1" type="normal">
563
<position x="391" y="226"/>
566
<arc id="Shared_Number_Dual_to_MoveDualtoNumber_T1" source="Shared_Number_Dual" target="MoveDualtoNumber_T1" type="normal"/>
567
<arc id="MoveDualtoNumber_P4_to_MoveDualtoNumber_T2" source="MoveDualtoNumber_P4" target="MoveDualtoNumber_T2" type="normal"/>
568
<arc id="Controller_start_to_Controller_T0" source="Controller_start" target="Controller_T0" type="normal"/>
569
<arc id="Shared_Test_End_to_Controller_T1" source="Shared_Test_End" target="Controller_T1" type="normal"/>
570
<arc id="Shared_Move_End_to_Controller_T2" source="Shared_Move_End" target="Controller_T2" type="normal"/>
571
<arc id="Shared_TestDone_End_to_Controller_T3" source="Shared_TestDone_End" target="Controller_T3" type="normal"/>
572
<arc id="Devision_P9_to_Devision_T9" source="Devision_P9" target="Devision_T9" type="normal">
574
<position x="151" y="871"/>
577
<arc id="Devision_P10_to_Devision_T10" source="Devision_P10" target="Devision_T10" type="normal">
579
<position x="331" y="856"/>
582
<arc id="Shared_Test_Start_to_Devision_T7" source="Shared_Test_Start" target="Devision_T7" type="normal"/>
583
<arc id="Shared_Test_Start_to_Devision_T8" source="Shared_Test_Start" target="Devision_T8" type="normal"/>
584
<arc id="Shared_Number_to_Devision_T9" source="Shared_Number" target="Devision_T9" type="normal"/>
585
<arc id="Shared_Number_to_Devision_T10" source="Shared_Number" target="Devision_T10" type="normal"/>
586
<arc id="Shared_Devidor_Dual_to_Devision_T9" source="Shared_Devidor_Dual" target="Devision_T9" type="normal"/>
587
<arc id="Shared_Devidor_to_Devision_T10" source="Shared_Devidor" target="Devision_T10" type="normal"/>
588
<arc id="Devision_P9_to_Devision_T11" source="Devision_P9" target="Devision_T11" type="normal"/>
589
<arc id="Devision_P10_to_Devision_T12" source="Devision_P10" target="Devision_T12" type="normal"/>
590
<arc id="Shared_Devidor_to_Devision_T14" source="Shared_Devidor" target="Devision_T14" type="normal"/>
591
<arc id="Shared_Devidor_Dual_to_Devision_T14" source="Shared_Devidor_Dual" target="Devision_T14" type="normal"/>
592
<arc id="Devision_P12_to_Devision_T17" source="Devision_P12" target="Devision_T17" type="normal">
594
<position x="271" y="1066"/>
597
<arc id="Shared_Devidor_Dual_to_Devision_T17" source="Shared_Devidor_Dual" target="Devision_T17" type="normal"/>
598
<arc id="Devision_P12_to_Devision_T18" source="Devision_P12" target="Devision_T18" type="normal"/>
599
<arc id="Devision_P13_to_Devision_T16" source="Devision_P13" target="Devision_T16" type="normal"/>
600
<arc id="Devision_P13_to_Devision_T15" source="Devision_P13" target="Devision_T15" type="normal"/>
601
<arc id="Devision_P13_to_Devision_T14" source="Devision_P13" target="Devision_T14" type="normal">
603
<position x="541" y="1186"/>
604
<position x="106" y="1186"/>
607
<arc id="Devision_P10_to_Devision_T18" source="Devision_P10" target="Devision_T18" type="normal">
609
<position x="556" y="991"/>
612
<arc id="Devision_P12_to_Devision_T19" source="Devision_P12" target="Devision_T19" type="normal"/>
613
<arc id="Devision_P9_to_Devision_T19" source="Devision_P9" target="Devision_T19" type="normal">
615
<position x="391" y="1051"/>
618
<arc id="Shared_TestDone_Start_to_TestDone_T0" source="Shared_TestDone_Start" target="TestDone_T0" type="normal"/>
619
<arc id="Shared_Number_to_TestDone_T1" source="Shared_Number" target="TestDone_T1" type="normal"/>
620
<arc id="Shared_Devidor_to_TestDone_T1" source="Shared_Devidor" target="TestDone_T1" type="normal"/>
621
<arc id="TestDone_P6_to_TestDone_T1" source="TestDone_P6" target="TestDone_T1" type="normal">
623
<position x="1111" y="811"/>
626
<arc id="TestDone_P6_to_TestDone_T3" source="TestDone_P6" target="TestDone_T3" type="normal"/>
627
<arc id="TestDone_P6_to_TestDone_T4" source="TestDone_P6" target="TestDone_T4" type="normal"/>
628
<arc id="Shared_Number_to_TestDone_T4" source="Shared_Number" target="TestDone_T4" type="normal">
630
<position x="1036" y="796"/>
633
<arc id="Shared_Devidor_Dual_to_TestDone_T5" source="Shared_Devidor_Dual" target="TestDone_T5" type="normal">
635
<position x="1441" y="811"/>
638
<arc id="Shared_Number_Dual_to_TestDone_T5" source="Shared_Number_Dual" target="TestDone_T5" type="normal">
640
<position x="1246" y="781"/>
643
<arc id="TestDone_P7_to_TestDone_T5" source="TestDone_P7" target="TestDone_T5" type="normal">
645
<position x="1366" y="841"/>
648
<arc id="TestDone_P7_to_TestDone_T2" source="TestDone_P7" target="TestDone_T2" type="normal"/>
649
<arc id="MoveDualtoNumber_T0_to_MoveDualtoNumber_P4" source="MoveDualtoNumber_T0" target="MoveDualtoNumber_P4" type="normal"/>
650
<arc id="MoveDualtoNumber_T1_to_MoveDualtoNumber_P4" source="MoveDualtoNumber_T1" target="MoveDualtoNumber_P4" type="normal">
652
<position x="361" y="301"/>
655
<arc id="MoveDualtoNumber_T1_to_Shared_Number" source="MoveDualtoNumber_T1" target="Shared_Number" type="normal"/>
656
<arc id="MoveDualtoNumber_T2_to_Shared_Move_End" source="MoveDualtoNumber_T2" target="Shared_Move_End" type="normal"/>
657
<arc id="Controller_T0_to_Shared_Test_Start" source="Controller_T0" target="Shared_Test_Start" type="normal"/>
658
<arc id="Controller_T1_to_Shared_Move_Start" source="Controller_T1" target="Shared_Move_Start" type="normal"/>
659
<arc id="Controller_T2_to_Shared_Devidor" source="Controller_T2" target="Shared_Devidor" type="normal"/>
660
<arc id="Controller_T2_to_Shared_TestDone_Start" source="Controller_T2" target="Shared_TestDone_Start" type="normal"/>
661
<arc id="Controller_T3_to_Controller_start" source="Controller_T3" target="Controller_start" type="normal"/>
662
<arc id="Devision_T9_to_Devision_P9" source="Devision_T9" target="Devision_P9" type="normal">
664
<position x="256" y="856"/>
667
<arc id="Devision_T10_to_Devision_P10" source="Devision_T10" target="Devision_P10" type="normal">
669
<position x="436" y="856"/>
672
<arc id="Devision_T7_to_Devision_P9" source="Devision_T7" target="Devision_P9" type="normal"/>
673
<arc id="Devision_T8_to_Devision_P10" source="Devision_T8" target="Devision_P10" type="normal"/>
674
<arc id="Devision_T9_to_Shared_Number_Dual" source="Devision_T9" target="Shared_Number_Dual" type="normal"/>
675
<arc id="Devision_T10_to_Shared_Number_Dual" source="Devision_T10" target="Shared_Number_Dual" type="normal"/>
676
<arc id="Devision_T9_to_Shared_Devidor" source="Devision_T9" target="Shared_Devidor" type="normal"/>
677
<arc id="Devision_T10_to_Shared_Devidor_Dual" source="Devision_T10" target="Shared_Devidor_Dual" type="normal">
679
<position x="166" y="991"/>
682
<arc id="Devision_T11_to_Devision_P10" source="Devision_T11" target="Devision_P10" type="normal"/>
683
<arc id="Devision_T12_to_Devision_P9" source="Devision_T12" target="Devision_P9" type="normal"/>
684
<arc id="Devision_T16_to_Shared_NotPrime" source="Devision_T16" target="Shared_NotPrime" type="normal"/>
685
<arc id="Devision_T15_to_Shared_NotPrime" source="Devision_T15" target="Shared_NotPrime" type="normal"/>
686
<arc id="Devision_T14_to_Shared_Devidor_Dual" source="Devision_T14" target="Shared_Devidor_Dual" type="normal">
688
<position x="46" y="1096"/>
691
<arc id="Devision_T14_to_Shared_Devidor" source="Devision_T14" target="Shared_Devidor" type="normal">
693
<position x="196" y="1021"/>
696
<arc id="Devision_T14_to_Devision_P12" source="Devision_T14" target="Devision_P12" type="normal"/>
697
<arc id="Devision_T17_to_Devision_P12" source="Devision_T17" target="Devision_P12" type="normal">
699
<position x="346" y="1066"/>
702
<arc id="Devision_T17_to_Shared_Devidor" source="Devision_T17" target="Shared_Devidor" type="normal"/>
703
<arc id="Devision_T18_to_Shared_Test_End" source="Devision_T18" target="Shared_Test_End" type="normal"/>
704
<arc id="Devision_T8_to_Devision_P13" source="Devision_T8" target="Devision_P13" type="normal"/>
705
<arc id="Devision_T7_to_Devision_P13" source="Devision_T7" target="Devision_P13" type="normal">
707
<position x="691" y="631"/>
710
<arc id="Devision_T19_to_Shared_Test_End" source="Devision_T19" target="Shared_Test_End" type="normal"/>
711
<arc id="TestDone_T0_to_TestDone_P6" source="TestDone_T0" target="TestDone_P6" type="normal"/>
712
<arc id="TestDone_T1_to_Shared_Number_Dual" source="TestDone_T1" target="Shared_Number_Dual" type="normal"/>
713
<arc id="TestDone_T1_to_Shared_Devidor_Dual" source="TestDone_T1" target="Shared_Devidor_Dual" type="normal">
715
<position x="1396" y="751"/>
718
<arc id="TestDone_T1_to_TestDone_P6" source="TestDone_T1" target="TestDone_P6" type="normal">
720
<position x="1201" y="826"/>
723
<arc id="TestDone_T3_to_Shared_IsPrime" source="TestDone_T3" target="Shared_IsPrime" type="normal"/>
724
<arc id="TestDone_T4_to_TestDone_P7" source="TestDone_T4" target="TestDone_P7" type="normal"/>
725
<arc id="TestDone_T4_to_Shared_Number" source="TestDone_T4" target="Shared_Number" type="normal">
727
<position x="1081" y="751"/>
730
<arc id="TestDone_T5_to_Shared_Devidor" source="TestDone_T5" target="Shared_Devidor" type="normal"/>
731
<arc id="TestDone_T5_to_Shared_Number" source="TestDone_T5" target="Shared_Number" type="normal">
733
<position x="1441" y="616"/>
734
<position x="991" y="601"/>
737
<arc id="TestDone_T5_to_TestDone_P7" source="TestDone_T5" target="TestDone_P7" type="normal">
739
<position x="1411" y="826"/>
742
<arc id="TestDone_T2_to_Shared_TestDone_End" source="TestDone_T2" target="Shared_TestDone_End" type="normal"/>
743
<arc id="Shared_Number_Dual_to_MoveDualtoNumber_T2" source="Shared_Number_Dual" target="MoveDualtoNumber_T2" type="inhibitor"/>
744
<arc id="Shared_Devidor_to_Devision_T7" source="Shared_Devidor" target="Devision_T7" type="inhibitor"/>
745
<arc id="Shared_Devidor_Dual_to_Devision_T8" source="Shared_Devidor_Dual" target="Devision_T8" type="inhibitor">
747
<position x="106" y="766"/>
750
<arc id="Shared_Devidor_Dual_to_Devision_T11" source="Shared_Devidor_Dual" target="Devision_T11" type="inhibitor">
752
<position x="151" y="706"/>
755
<arc id="Shared_Devidor_to_Devision_T12" source="Shared_Devidor" target="Devision_T12" type="inhibitor">
757
<position x="31" y="826"/>
760
<arc id="Shared_Number_to_Devision_T16" source="Shared_Number" target="Devision_T16" type="inhibitor"/>
761
<arc id="Shared_Devidor_to_Devision_T16" source="Shared_Devidor" target="Devision_T16" type="inhibitor"/>
762
<arc id="Shared_Number_to_Devision_T15" source="Shared_Number" target="Devision_T15" type="inhibitor">
764
<position x="556" y="781"/>
767
<arc id="Shared_Devidor_Dual_to_Devision_T15" source="Shared_Devidor_Dual" target="Devision_T15" type="inhibitor"/>
768
<arc id="Shared_Number_to_Devision_T14" source="Shared_Number" target="Devision_T14" type="inhibitor"/>
769
<arc id="Shared_Devidor_Dual_to_Devision_T18" source="Shared_Devidor_Dual" target="Devision_T18" type="inhibitor">
771
<position x="511" y="1006"/>
774
<arc id="Devision_P12_to_Devision_T14" source="Devision_P12" target="Devision_T14" type="inhibitor">
776
<position x="181" y="1186"/>
779
<arc id="Shared_Devidor_Dual_to_Devision_T19" source="Shared_Devidor_Dual" target="Devision_T19" type="inhibitor">
781
<position x="436" y="1066"/>
784
<arc id="Shared_Number_to_TestDone_T3" source="Shared_Number" target="TestDone_T3" type="inhibitor">
786
<position x="1066" y="961"/>
789
<arc id="Shared_Devidor_to_TestDone_T3" source="Shared_Devidor" target="TestDone_T3" type="inhibitor">
791
<position x="1261" y="961"/>
794
<arc id="Shared_Devidor_to_TestDone_T4" source="Shared_Devidor" target="TestDone_T4" type="inhibitor"/>
795
<arc id="Shared_Devidor_Dual_to_TestDone_T2" source="Shared_Devidor_Dual" target="TestDone_T2" type="inhibitor"/>
796
<arc id="Shared_Number_Dual_to_TestDone_T2" source="Shared_Number_Dual" target="TestDone_T2" type="inhibitor"/>
799
<text>ComposedModel</text>