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="495" y="60"/>
11
<offset x="-5" y="35"/>
21
<position x="165" y="315"/>
25
<offset x="-5" y="35"/>
35
<position x="405" y="315"/>
39
<offset x="-5" y="35"/>
49
<position x="660" y="315"/>
53
<offset x="-5" y="35"/>
63
<position x="900" y="315"/>
67
<offset x="-5" y="35"/>
77
<position x="540" y="690"/>
81
<offset x="-1" y="33"/>
91
<position x="195" y="225"/>
95
<offset x="-5" y="35"/>
105
<position x="435" y="225"/>
109
<offset x="-5" y="35"/>
119
<position x="675" y="225"/>
123
<offset x="-5" y="35"/>
133
<position x="915" y="225"/>
137
<offset x="-5" y="35"/>
145
<place id="Reminder">
147
<position x="315" y="705"/>
151
<offset x="-5" y="35"/>
153
<text>Reminder</text>
162
<offset x="-5" y="35"/>
167
<position x="165" y="150"/>
173
<offset x="-5" y="35"/>
178
<position x="390" y="150"/>
184
<offset x="-5" y="35"/>
189
<position x="645" y="150"/>
195
<offset x="-5" y="35"/>
200
<position x="885" y="150"/>
206
<offset x="-5" y="35"/>
211
<position x="180" y="480"/>
217
<offset x="-5" y="35"/>
222
<position x="420" y="480"/>
228
<offset x="-5" y="35"/>
233
<position x="690" y="480"/>
239
<offset x="-5" y="35"/>
244
<position x="930" y="450"/>
250
<offset x="-5" y="35"/>
255
<position x="270" y="255"/>
261
<offset x="-5" y="35"/>
266
<position x="525" y="255"/>
269
<transition id="T10">
272
<offset x="-5" y="35"/>
277
<position x="765" y="255"/>
280
<transition id="T11">
283
<offset x="-5" y="35"/>
288
<position x="990" y="225"/>
291
<transition id="T13">
294
<offset x="-5" y="35"/>
299
<position x="255" y="360"/>
302
<transition id="T14">
305
<offset x="-5" y="35"/>
310
<position x="495" y="360"/>
313
<transition id="T15">
316
<offset x="-5" y="35"/>
321
<position x="765" y="360"/>
324
<transition id="T16">
327
<offset x="-5" y="35"/>
332
<position x="1005" y="330"/>
335
<transition id="T12">
338
<offset x="-5" y="35"/>
343
<position x="420" y="705"/>
346
<arc id="Start_to_T0" source="Start" target="T0" type="normal"/>
347
<arc id="Start_to_T1" source="Start" target="T1" type="normal"/>
348
<arc id="Start_to_T2" source="Start" target="T2" type="normal"/>
349
<arc id="Start_to_T3" source="Start" target="T3" type="normal"/>
350
<arc id="P1_to_T4" source="P1" target="T4" type="normal">
352
<position x="136" y="421"/>
355
<arc id="P2_to_T5" source="P2" target="T5" type="normal">
357
<position x="376" y="421"/>
360
<arc id="P3_to_T6" source="P3" target="T6" type="normal">
362
<position x="631" y="436"/>
365
<arc id="P4_to_T7" source="P4" target="T7" type="normal">
367
<position x="886" y="406"/>
370
<arc id="P1_to_T8" source="P1" target="T8" type="normal"/>
371
<arc id="P2_to_T9" source="P2" target="T9" type="normal"/>
372
<arc id="P3_to_T10" source="P3" target="T10" type="normal"/>
373
<arc id="P4_to_T11" source="P4" target="T11" type="normal"/>
374
<arc id="Number_to_T4" source="Number" target="T4" type="normal"/>
375
<arc id="Number_to_T5" source="Number" target="T5" type="normal"/>
376
<arc id="Number_to_T6" source="Number" target="T6" type="normal"/>
377
<arc id="Number_to_T7" source="Number" target="T7" type="normal"/>
378
<arc id="P12_to_T8" source="P12" target="T8" type="normal"/>
379
<arc id="P12_to_T13" source="P12" target="T13" type="normal">
381
<position x="226" y="346"/>
384
<arc id="P13_to_T9" source="P13" target="T9" type="normal"/>
385
<arc id="P14_to_T10" source="P14" target="T10" type="normal"/>
386
<arc id="P15_to_T11" source="P15" target="T11" type="normal"/>
387
<arc id="P13_to_T14" source="P13" target="T14" type="normal">
389
<position x="451" y="331"/>
392
<arc id="P14_to_T15" source="P14" target="T15" type="normal">
394
<position x="721" y="331"/>
397
<arc id="P15_to_T16" source="P15" target="T16" type="normal">
399
<position x="961" y="331"/>
402
<arc id="Number_to_T13" source="Number" target="T13" type="normal"/>
403
<arc id="Number_to_T14" source="Number" target="T14" type="normal">
405
<position x="586" y="436"/>
408
<arc id="Number_to_T15" source="Number" target="T15" type="normal">
410
<position x="826" y="481"/>
413
<arc id="Number_to_T16" source="Number" target="T16" type="normal">
415
<position x="1066" y="496"/>
418
<arc id="Reminder_to_T12" source="Reminder" target="T12" type="normal"/>
419
<arc id="P4_to_T16" source="P4" target="T16" type="normal"/>
420
<arc id="P3_to_T15" source="P3" target="T15" type="normal"/>
421
<arc id="P2_to_T14" source="P2" target="T14" type="normal">
423
<position x="420" y="330"/>
426
<arc id="P1_to_T13" source="P1" target="T13" type="normal"/>
427
<arc id="T0_to_P1" source="T0" target="P1" type="normal"/>
428
<arc id="T1_to_P2" source="T1" target="P2" type="normal"/>
429
<arc id="T2_to_P3" source="T2" target="P3" type="normal"/>
430
<arc id="T3_to_P4" source="T3" target="P4" type="normal"/>
431
<arc id="T4_to_P1" source="T4" target="P1" type="normal">
433
<position x="226" y="421"/>
436
<arc id="T5_to_P2" source="T5" target="P2" type="normal">
438
<position x="496" y="436"/>
441
<arc id="T6_to_P3" source="T6" target="P3" type="normal">
443
<position x="751" y="421"/>
446
<arc id="T8_to_Start" source="T8" target="Start" type="normal">
448
<position x="361" y="151"/>
451
<arc id="T9_to_Start" source="T9" target="Start" type="normal"/>
452
<arc id="T10_to_Start" source="T10" target="Start" type="normal">
454
<position x="766" y="196"/>
457
<arc id="T11_to_Start" source="T11" target="Start" type="normal"/>
458
<arc id="T0_to_P12" source="T0" target="P12" type="normal"/>
459
<arc id="T13_to_P12" source="T13" target="P12" type="normal">
461
<position x="286" y="316"/>
464
<arc id="T1_to_P13" source="T1" target="P13" type="normal"/>
465
<arc id="T2_to_P14" source="T2" target="P14" type="normal"/>
466
<arc id="T3_to_P15" source="T3" target="P15" type="normal"/>
467
<arc id="T14_to_P13" source="T14" target="P13" type="normal">
469
<position x="526" y="316"/>
472
<arc id="T15_to_P14" source="T15" target="P14" type="normal">
474
<position x="766" y="316"/>
477
<arc id="T16_to_P15" source="T16" target="P15" type="normal">
479
<position x="1006" y="301"/>
482
<arc id="T7_to_P4" source="T7" target="P4" type="normal">
484
<position x="976" y="406"/>
487
<arc id="T12_to_Number" source="T12" target="Number" type="normal"/>
488
<arc id="T16_to_Reminder" source="T16" target="Reminder" type="normal">
490
<position x="991" y="946"/>
491
<position x="316" y="886"/>
494
<arc id="T15_to_Reminder" source="T15" target="Reminder" type="normal">
496
<position x="751" y="871"/>
497
<position x="376" y="811"/>
500
<arc id="T14_to_Reminder" source="T14" target="Reminder" type="normal">
502
<position x="496" y="571"/>
505
<arc id="T13_to_Reminder" source="T13" target="Reminder" type="normal"/>
506
<arc id="T16_to_P4" source="T16" target="P4" type="normal">
508
<position x="990" y="405"/>
511
<arc id="T15_to_P3" source="T15" target="P3" type="normal">
513
<position x="675" y="420"/>
516
<arc id="T14_to_P2" source="T14" target="P2" type="normal">
518
<position x="435" y="405"/>
521
<arc id="T13_to_P1" source="T13" target="P1" type="normal">
523
<position x="255" y="420"/>
526
<arc id="P12_to_T4" source="P12" target="T4" type="normal">
528
<position x="196" y="421"/>
531
<arc id="T4_to_P12" source="T4" target="P12" type="normal">
533
<position x="241" y="451"/>
536
<arc id="P13_to_T5" source="P13" target="T5" type="normal">
538
<position x="421" y="406"/>
541
<arc id="T5_to_P13" source="T5" target="P13" type="normal">
543
<position x="436" y="496"/>
544
<position x="481" y="331"/>
547
<arc id="P14_to_T6" source="P14" target="T6" type="normal">
549
<position x="691" y="421"/>
552
<arc id="T6_to_P14" source="T6" target="P14" type="normal">
554
<position x="736" y="361"/>
557
<arc id="P15_to_T7" source="P15" target="T7" type="normal">
559
<position x="931" y="391"/>
562
<arc id="T7_to_P15" source="T7" target="P15" type="normal">
564
<position x="946" y="466"/>
565
<position x="976" y="376"/>
568
<arc id="P4_to_T12" source="P4" target="T12" type="inhibitor">
570
<position x="886" y="736"/>
571
<position x="466" y="781"/>
574
<arc id="P3_to_T12" source="P3" target="T12" type="inhibitor">
576
<position x="571" y="586"/>
579
<arc id="P2_to_T12" source="P2" target="T12" type="inhibitor">
581
<position x="526" y="586"/>
584
<arc id="P1_to_T12" source="P1" target="T12" type="inhibitor">
586
<position x="181" y="736"/>
589
<arc id="Number_to_T11" source="Number" target="T11" type="inhibitor">
591
<position x="1156" y="616"/>
594
<arc id="Number_to_T10" source="Number" target="T10" type="inhibitor">
596
<position x="826" y="421"/>
599
<arc id="Number_to_T9" source="Number" target="T9" type="inhibitor"/>
600
<arc id="Number_to_T8" source="Number" target="T8" type="inhibitor">
602
<position x="331" y="451"/>
605
<arc id="Reminder_to_T2" source="Reminder" target="T2" type="inhibitor">
607
<position x="601" y="331"/>
610
<arc id="Reminder_to_T1" source="Reminder" target="T1" type="inhibitor"/>
611
<arc id="Reminder_to_T0" source="Reminder" target="T0" type="inhibitor">
613
<position x="76" y="571"/>
618
<text>ComposedModel</text>