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="135" y="420"/>
355
<arc id="P2_to_T5" source="P2" target="T5" type="normal">
357
<position x="375" y="420"/>
360
<arc id="P3_to_T6" source="P3" target="T6" type="normal">
362
<position x="630" y="435"/>
365
<arc id="P4_to_T7" source="P4" target="T7" type="normal">
367
<position x="885" y="405"/>
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="225" y="345"/>
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="450" y="330"/>
392
<arc id="P14_to_T15" source="P14" target="T15" type="normal">
394
<position x="720" y="330"/>
397
<arc id="P15_to_T16" source="P15" target="T16" type="normal">
399
<position x="960" y="330"/>
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="585" y="435"/>
408
<arc id="Number_to_T15" source="Number" target="T15" type="normal">
410
<position x="825" y="480"/>
413
<arc id="Number_to_T16" source="Number" target="T16" type="normal">
415
<position x="1065" y="495"/>
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="419" y="329"/>
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="225" y="420"/>
436
<arc id="T5_to_P2" source="T5" target="P2" type="normal">
438
<position x="495" y="435"/>
441
<arc id="T6_to_P3" source="T6" target="P3" type="normal">
443
<position x="750" y="420"/>
446
<arc id="T8_to_Start" source="T8" target="Start" type="normal">
448
<position x="360" y="150"/>
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="765" y="195"/>
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="285" y="315"/>
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="525" y="315"/>
472
<arc id="T15_to_P14" source="T15" target="P14" type="normal">
474
<position x="765" y="315"/>
477
<arc id="T16_to_P15" source="T16" target="P15" type="normal">
479
<position x="1005" y="300"/>
482
<arc id="T7_to_P4" source="T7" target="P4" type="normal">
484
<position x="975" y="405"/>
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="990" y="945"/>
491
<position x="315" y="885"/>
494
<arc id="T15_to_Reminder" source="T15" target="Reminder" type="normal">
496
<position x="750" y="870"/>
497
<position x="375" y="810"/>
500
<arc id="T14_to_Reminder" source="T14" target="Reminder" type="normal">
502
<position x="495" y="570"/>
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="989" y="404"/>
511
<arc id="T15_to_P3" source="T15" target="P3" type="normal">
513
<position x="674" y="419"/>
516
<arc id="T14_to_P2" source="T14" target="P2" type="normal">
518
<position x="434" y="404"/>
521
<arc id="T13_to_P1" source="T13" target="P1" type="normal">
523
<position x="254" y="419"/>
526
<arc id="P12_to_T4" source="P12" target="T4" type="normal">
528
<position x="195" y="420"/>
531
<arc id="T4_to_P12" source="T4" target="P12" type="normal">
533
<position x="240" y="450"/>
536
<arc id="P13_to_T5" source="P13" target="T5" type="normal">
538
<position x="420" y="405"/>
541
<arc id="T5_to_P13" source="T5" target="P13" type="normal">
543
<position x="435" y="495"/>
544
<position x="480" y="330"/>
547
<arc id="P14_to_T6" source="P14" target="T6" type="normal">
549
<position x="690" y="420"/>
552
<arc id="T6_to_P14" source="T6" target="P14" type="normal">
554
<position x="735" y="360"/>
557
<arc id="P15_to_T7" source="P15" target="T7" type="normal">
559
<position x="930" y="390"/>
562
<arc id="T7_to_P15" source="T7" target="P15" type="normal">
564
<position x="945" y="465"/>
565
<position x="975" y="375"/>
568
<arc id="P4_to_T12" source="P4" target="T12" type="inhibitor">
570
<position x="885" y="735"/>
571
<position x="465" y="780"/>
574
<arc id="P3_to_T12" source="P3" target="T12" type="inhibitor">
576
<position x="570" y="585"/>
579
<arc id="P2_to_T12" source="P2" target="T12" type="inhibitor">
581
<position x="525" y="585"/>
584
<arc id="P1_to_T12" source="P1" target="T12" type="inhibitor">
586
<position x="180" y="735"/>
589
<arc id="Number_to_T11" source="Number" target="T11" type="inhibitor">
591
<position x="1155" y="615"/>
594
<arc id="Number_to_T10" source="Number" target="T10" type="inhibitor">
596
<position x="825" y="420"/>
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="330" y="450"/>
605
<arc id="Reminder_to_T2" source="Reminder" target="T2" type="inhibitor">
607
<position x="600" y="330"/>
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="75" y="570"/>
618
<text>ComposedModel</text>