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="450" y="360"/>
11
<offset x="-5" y="35"/>
21
<position x="165" y="300"/>
25
<offset x="-5" y="35"/>
35
<position x="210" y="390"/>
39
<offset x="-5" y="35"/>
49
<position x="120" y="390"/>
53
<offset x="-5" y="35"/>
63
<position x="300" y="150"/>
67
<offset x="-5" y="35"/>
77
<position x="225" y="105"/>
81
<offset x="-5" y="35"/>
91
<position x="195" y="195"/>
95
<offset x="-5" y="35"/>
105
<position x="255" y="195"/>
109
<offset x="-5" y="35"/>
119
<position x="255" y="495"/>
123
<offset x="-5" y="35"/>
133
<position x="330" y="525"/>
137
<offset x="-5" y="35"/>
147
<position x="285" y="570"/>
151
<offset x="-5" y="35"/>
161
<position x="225" y="570"/>
165
<offset x="-5" y="35"/>
175
<position x="360" y="300"/>
179
<offset x="-5" y="35"/>
189
<position x="60" y="360"/>
193
<offset x="-5" y="35"/>
203
<position x="405" y="390"/>
207
<offset x="-5" y="35"/>
217
<position x="315" y="390"/>
221
<offset x="-5" y="35"/>
229
<transition id="tback3">
232
<offset x="-5" y="35"/>
237
<position x="210" y="435"/>
240
<transition id="tredo3">
243
<offset x="-5" y="35"/>
248
<position x="210" y="360"/>
251
<transition id="tredo2">
254
<offset x="-5" y="35"/>
259
<position x="315" y="360"/>
262
<transition id="tok3">
265
<offset x="-5" y="35"/>
270
<position x="120" y="360"/>
273
<transition id="tredo4">
276
<offset x="-5" y="35"/>
281
<position x="180" y="150"/>
284
<transition id="tin4">
287
<offset x="-5" y="35"/>
292
<position x="225" y="75"/>
295
<transition id="tok4">
298
<offset x="-5" y="35"/>
303
<position x="255" y="150"/>
306
<transition id="tback4">
309
<offset x="-5" y="35"/>
314
<position x="180" y="240"/>
317
<transition id="tsynch1_23">
320
<offset x="-5" y="35"/>
322
<text>tsynch1_23</text>
325
<position x="255" y="465"/>
328
<transition id="tout1">
331
<offset x="-5" y="35"/>
336
<position x="285" y="615"/>
339
<transition id="tok1">
342
<offset x="-5" y="35"/>
347
<position x="285" y="540"/>
350
<transition id="tsynch4_23">
353
<offset x="-5" y="35"/>
355
<text>tsynch4_23</text>
358
<position x="255" y="255"/>
361
<transition id="tredo1">
364
<offset x="-5" y="35"/>
369
<position x="225" y="540"/>
372
<transition id="tback1">
375
<offset x="-5" y="35"/>
380
<position x="225" y="615"/>
383
<transition id="tback2">
386
<offset x="-5" y="35"/>
391
<position x="315" y="435"/>
394
<transition id="tok2">
397
<offset x="-5" y="35"/>
402
<position x="405" y="360"/>
405
<arc id="Pm4_to_tok4" source="Pm4" target="tok4" type="normal"/>
406
<arc id="Pback4_to_tback4" source="Pback4" target="tback4" type="normal"/>
407
<arc id="Pm4_to_tredo4" source="Pm4" target="tredo4" type="normal"/>
408
<arc id="P4_to_tin4" source="P4" target="tin4" type="normal"/>
409
<arc id="Pm2_to_tredo2" source="Pm2" target="tredo2" type="normal"/>
410
<arc id="Pm3_to_tok3" source="Pm3" target="tok3" type="normal"/>
411
<arc id="Pback3_to_tback3" source="Pback3" target="tback3" type="normal"/>
412
<arc id="Pm3_to_tredo3" source="Pm3" target="tredo3" type="normal"/>
413
<arc id="Pback1_to_tback1" source="Pback1" target="tback1" type="normal"/>
414
<arc id="Pm1_to_tredo1" source="Pm1" target="tredo1" type="normal"/>
415
<arc id="Pm2_to_tok2" source="Pm2" target="tok2" type="normal"/>
416
<arc id="Pback2_to_tback2" source="Pback2" target="tback2" type="normal"/>
417
<arc id="Pout2_to_tsynch1_23" source="Pout2" target="tsynch1_23" type="normal"/>
418
<arc id="Pout3_to_tsynch1_23" source="Pout3" target="tsynch1_23" type="normal"/>
419
<arc id="P1_to_tsynch1_23" source="P1" target="tsynch1_23" type="normal"/>
420
<arc id="Pout1_to_tout1" source="Pout1" target="tout1" type="normal"/>
421
<arc id="Pm1_to_tok1" source="Pm1" target="tok1" type="normal"/>
422
<arc id="P2_to_tsynch4_23" source="P2" target="tsynch4_23" type="normal"/>
423
<arc id="Pout4_to_tsynch4_23" source="Pout4" target="tsynch4_23" type="normal"/>
424
<arc id="P3_to_tsynch4_23" source="P3" target="tsynch4_23" type="normal"/>
425
<arc id="tok4_to_Pout4" source="tok4" target="Pout4" type="normal"/>
426
<arc id="tback4_to_Pm4" source="tback4" target="Pm4" type="normal"/>
427
<arc id="tredo4_to_Pback4" source="tredo4" target="Pback4" type="normal"/>
428
<arc id="tin4_to_Pm4" source="tin4" target="Pm4" type="normal"/>
429
<arc id="tredo2_to_Pback2" source="tredo2" target="Pback2" type="normal"/>
430
<arc id="tok3_to_Pout3" source="tok3" target="Pout3" type="normal"/>
431
<arc id="tback3_to_Pm3" source="tback3" target="Pm3" type="normal"/>
432
<arc id="tredo3_to_Pback3" source="tredo3" target="Pback3" type="normal"/>
433
<arc id="tback1_to_Pm1" source="tback1" target="Pm1" type="normal"/>
434
<arc id="tredo1_to_Pback1" source="tredo1" target="Pback1" type="normal"/>
435
<arc id="tok2_to_Pout2" source="tok2" target="Pout2" type="normal"/>
436
<arc id="tback2_to_Pm2" source="tback2" target="Pm2" type="normal"/>
437
<arc id="tsynch1_23_to_P3" source="tsynch1_23" target="P3" type="normal"/>
438
<arc id="tsynch1_23_to_Pm1" source="tsynch1_23" target="Pm1" type="normal"/>
439
<arc id="tsynch1_23_to_P2" source="tsynch1_23" target="P2" type="normal"/>
440
<arc id="tout1_to_P1" source="tout1" target="P1" type="normal"/>
441
<arc id="tok1_to_Pout1" source="tok1" target="Pout1" type="normal"/>
442
<arc id="tsynch4_23_to_P4" source="tsynch4_23" target="P4" type="normal"/>
443
<arc id="tsynch4_23_to_Pm3" source="tsynch4_23" target="Pm3" type="normal"/>
444
<arc id="tsynch4_23_to_Pm2" source="tsynch4_23" target="Pm2" type="normal"/>
447
<text>ComposedModel</text>