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_Done1">
7
<position x="240" y="390"/>
11
<offset x="-5" y="35"/>
13
<text>Shared_Done1</text>
19
<place id="Shared_Done2">
21
<position x="360" y="60"/>
25
<offset x="-5" y="35"/>
27
<text>Shared_Done2</text>
33
<place id="Shared_Done3">
35
<position x="240" y="390"/>
39
<offset x="-5" y="35"/>
41
<text>Shared_Done3</text>
47
<place id="Shared_Done4">
49
<position x="240" y="390"/>
53
<offset x="-5" y="35"/>
55
<text>Shared_Done4</text>
61
<place id="Shared_Done5">
63
<position x="240" y="390"/>
67
<offset x="-5" y="35"/>
69
<text>Shared_Done5</text>
77
<position x="255" y="60"/>
81
<offset x="-5" y="35"/>
91
<position x="120" y="225"/>
95
<offset x="-5" y="35"/>
103
<place id="Task1_P2">
105
<position x="375" y="240"/>
109
<offset x="-5" y="35"/>
111
<text>Task1_P2</text>
117
<place id="Task2_P0">
119
<position x="630" y="60"/>
123
<offset x="-5" y="35"/>
125
<text>Task2_P0</text>
131
<place id="Task2_P1">
133
<position x="495" y="225"/>
137
<offset x="-5" y="35"/>
139
<text>Task2_P1</text>
145
<place id="Task2_P2">
147
<position x="750" y="240"/>
151
<offset x="-5" y="35"/>
153
<text>Task2_P2</text>
159
<place id="Task3_P0">
161
<position x="255" y="450"/>
165
<offset x="-5" y="35"/>
167
<text>Task3_P0</text>
173
<place id="Task3_P1">
175
<position x="120" y="615"/>
179
<offset x="-5" y="35"/>
181
<text>Task3_P1</text>
187
<place id="Task3_P2">
189
<position x="375" y="630"/>
193
<offset x="-5" y="35"/>
195
<text>Task3_P2</text>
201
<place id="Task4_P0">
203
<position x="630" y="450"/>
207
<offset x="-5" y="35"/>
209
<text>Task4_P0</text>
215
<place id="Task4_P1">
217
<position x="495" y="615"/>
221
<offset x="-5" y="35"/>
223
<text>Task4_P1</text>
229
<place id="Task4_P2">
231
<position x="750" y="630"/>
235
<offset x="-5" y="35"/>
237
<text>Task4_P2</text>
243
<place id="Task5_P0">
245
<position x="255" y="840"/>
249
<offset x="-5" y="35"/>
251
<text>Task5_P0</text>
257
<place id="Task5_P1">
259
<position x="120" y="1005"/>
263
<offset x="-5" y="35"/>
265
<text>Task5_P1</text>
271
<place id="Task5_P2">
273
<position x="375" y="1020"/>
277
<offset x="-5" y="35"/>
279
<text>Task5_P2</text>
285
<transition id="Task1_T0">
288
<offset x="-5" y="35"/>
290
<text>Task1_T0</text>
293
<position x="255" y="150"/>
296
<transition id="Task1_T1">
299
<offset x="-5" y="35"/>
301
<text>Task1_T1</text>
304
<position x="240" y="300"/>
307
<transition id="Task2_T0">
310
<offset x="-5" y="35"/>
312
<text>Task2_T0</text>
315
<position x="630" y="150"/>
318
<transition id="Task2_T1">
321
<offset x="-5" y="35"/>
323
<text>Task2_T1</text>
326
<position x="615" y="300"/>
329
<transition id="Task3_T0">
332
<offset x="-5" y="35"/>
334
<text>Task3_T0</text>
337
<position x="255" y="540"/>
340
<transition id="Task3_T1">
343
<offset x="-5" y="35"/>
345
<text>Task3_T1</text>
348
<position x="240" y="690"/>
351
<transition id="Task4_T0">
354
<offset x="-5" y="35"/>
356
<text>Task4_T0</text>
359
<position x="630" y="540"/>
362
<transition id="Task4_T1">
365
<offset x="-5" y="35"/>
367
<text>Task4_T1</text>
370
<position x="615" y="690"/>
373
<transition id="Task5_T0">
376
<offset x="-5" y="35"/>
378
<text>Task5_T0</text>
381
<position x="255" y="930"/>
384
<transition id="Task5_T1">
387
<offset x="-5" y="35"/>
389
<text>Task5_T1</text>
392
<position x="240" y="1080"/>
395
<arc id="Task1_P0_to_Task1_T0" source="Task1_P0" target="Task1_T0" type="normal"/>
396
<arc id="Task1_P1_to_Task1_T1" source="Task1_P1" target="Task1_T1" type="normal"/>
397
<arc id="Task1_P2_to_Task1_T1" source="Task1_P2" target="Task1_T1" type="normal"/>
398
<arc id="Task2_P0_to_Task2_T0" source="Task2_P0" target="Task2_T0" type="normal"/>
399
<arc id="Task2_P1_to_Task2_T1" source="Task2_P1" target="Task2_T1" type="normal"/>
400
<arc id="Task2_P2_to_Task2_T1" source="Task2_P2" target="Task2_T1" type="normal"/>
401
<arc id="Shared_Done1_to_Task2_T0" source="Shared_Done1" target="Task2_T0" type="normal">
403
<position x="689" y="104"/>
406
<arc id="Task3_P0_to_Task3_T0" source="Task3_P0" target="Task3_T0" type="normal"/>
407
<arc id="Task3_P1_to_Task3_T1" source="Task3_P1" target="Task3_T1" type="normal"/>
408
<arc id="Task3_P2_to_Task3_T1" source="Task3_P2" target="Task3_T1" type="normal"/>
409
<arc id="Shared_Done1_to_Task3_T0" source="Shared_Done1" target="Task3_T0" type="normal">
411
<position x="314" y="494"/>
414
<arc id="Task4_P0_to_Task4_T0" source="Task4_P0" target="Task4_T0" type="normal"/>
415
<arc id="Task4_P1_to_Task4_T1" source="Task4_P1" target="Task4_T1" type="normal"/>
416
<arc id="Task4_P2_to_Task4_T1" source="Task4_P2" target="Task4_T1" type="normal"/>
417
<arc id="Shared_Done2_to_Task4_T0" source="Shared_Done2" target="Task4_T0" type="normal">
419
<position x="689" y="494"/>
422
<arc id="Task5_P0_to_Task5_T0" source="Task5_P0" target="Task5_T0" type="normal"/>
423
<arc id="Task5_P1_to_Task5_T1" source="Task5_P1" target="Task5_T1" type="normal"/>
424
<arc id="Task5_P2_to_Task5_T1" source="Task5_P2" target="Task5_T1" type="normal"/>
425
<arc id="Shared_Done3_to_Task5_T0" source="Shared_Done3" target="Task5_T0" type="normal">
427
<position x="314" y="884"/>
430
<arc id="Task1_T0_to_Task1_P1" source="Task1_T0" target="Task1_P1" type="normal"/>
431
<arc id="Task1_T0_to_Task1_P2" source="Task1_T0" target="Task1_P2" type="normal"/>
432
<arc id="Task1_T1_to_Shared_Done1" source="Task1_T1" target="Shared_Done1" type="normal"/>
433
<arc id="Task2_T0_to_Task2_P1" source="Task2_T0" target="Task2_P1" type="normal"/>
434
<arc id="Task2_T0_to_Task2_P2" source="Task2_T0" target="Task2_P2" type="normal"/>
435
<arc id="Task2_T1_to_Shared_Done2" source="Task2_T1" target="Shared_Done2" type="normal"/>
436
<arc id="Task2_T0_to_Shared_Done1" source="Task2_T0" target="Shared_Done1" type="normal">
438
<position x="704" y="149"/>
441
<arc id="Task3_T0_to_Task3_P1" source="Task3_T0" target="Task3_P1" type="normal"/>
442
<arc id="Task3_T0_to_Task3_P2" source="Task3_T0" target="Task3_P2" type="normal"/>
443
<arc id="Task3_T1_to_Shared_Done3" source="Task3_T1" target="Shared_Done3" type="normal"/>
444
<arc id="Task3_T0_to_Shared_Done1" source="Task3_T0" target="Shared_Done1" type="normal">
446
<position x="329" y="539"/>
449
<arc id="Task4_T0_to_Task4_P1" source="Task4_T0" target="Task4_P1" type="normal"/>
450
<arc id="Task4_T0_to_Task4_P2" source="Task4_T0" target="Task4_P2" type="normal"/>
451
<arc id="Task4_T1_to_Shared_Done4" source="Task4_T1" target="Shared_Done4" type="normal"/>
452
<arc id="Task4_T0_to_Shared_Done2" source="Task4_T0" target="Shared_Done2" type="normal">
454
<position x="704" y="539"/>
457
<arc id="Task5_T0_to_Task5_P1" source="Task5_T0" target="Task5_P1" type="normal"/>
458
<arc id="Task5_T0_to_Task5_P2" source="Task5_T0" target="Task5_P2" type="normal"/>
459
<arc id="Task5_T1_to_Shared_Done5" source="Task5_T1" target="Shared_Done5" type="normal"/>
460
<arc id="Task5_T0_to_Shared_Done3" source="Task5_T0" target="Shared_Done3" type="normal">
462
<position x="329" y="929"/>
467
<text>ComposedModel</text>