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="390" y="150"/>
11
<offset x="50" y="-5"/>
19
<place id="Sender_0_A">
21
<position x="150" y="60"/>
25
<offset x="-5" y="35"/>
27
<text>Sender_0_A</text>
33
<place id="Receiver_1_B">
35
<position x="600" y="615"/>
39
<offset x="107" y="32"/>
41
<text>Receiver_1_B</text>
47
<place id="Receiver_0_A">
49
<position x="600" y="780"/>
53
<offset x="-5" y="35"/>
55
<text>Receiver_0_A</text>
61
<place id="Sender_0_B">
63
<position x="150" y="240"/>
67
<offset x="-5" y="31"/>
69
<text>Sender_0_B</text>
75
<place id="Sender_1_A">
77
<position x="150" y="450"/>
81
<offset x="-5" y="35"/>
83
<text>Sender_1_A</text>
89
<place id="Sender_1_B">
91
<position x="150" y="630"/>
95
<offset x="-5" y="35"/>
97
<text>Sender_1_B</text>
103
<place id="Medium_B">
105
<position x="390" y="360"/>
109
<offset x="44" y="0"/>
111
<text>Medium_B</text>
117
<place id="Medium_C">
119
<position x="390" y="540"/>
123
<offset x="48" y="4"/>
125
<text>Medium_C</text>
131
<place id="Medium_D">
133
<position x="390" y="720"/>
137
<offset x="44" y="0"/>
139
<text>Medium_D</text>
145
<place id="Receiver_0_B">
147
<position x="600" y="240"/>
151
<offset x="110" y="33"/>
153
<text>Receiver_0_B</text>
159
<place id="Receiver_1_A">
161
<position x="600" y="450"/>
165
<offset x="110" y="35"/>
167
<text>Receiver_1_A</text>
173
<transition id="Ack_rec_0">
176
<offset x="-5" y="35"/>
178
<text>Ack_rec_0</text>
181
<position x="150" y="360"/>
184
<transition id="Send_1">
187
<offset x="-5" y="35"/>
192
<position x="150" y="540"/>
195
<transition id="Ack_send_0">
198
<offset x="110" y="31"/>
200
<text>Ack_send_0</text>
203
<position x="600" y="360"/>
206
<transition id="Loss_C">
209
<offset x="-5" y="35"/>
214
<position x="390" y="630"/>
217
<transition id="Loss_D">
220
<offset x="-5" y="35"/>
225
<position x="390" y="780"/>
228
<transition id="ReSend_1">
231
<offset x="63" y="50"/>
233
<text>ReSend_1</text>
236
<position x="240" y="630"/>
239
<transition id="Receive_old_1">
242
<offset x="74" y="-4"/>
244
<text>Receive_old_1</text>
247
<position x="510" y="615"/>
250
<transition id="Ack_send_1">
253
<offset x="108" y="33"/>
255
<text>Ack_send_1</text>
258
<position x="600" y="720"/>
261
<transition id="Ack_rec_1">
264
<offset x="-5" y="35"/>
266
<text>Ack_rec_1</text>
269
<position x="150" y="720"/>
272
<transition id="Send_0">
275
<offset x="-5" y="35"/>
280
<position x="150" y="150"/>
283
<transition id="Receive_0">
286
<offset x="92" y="36"/>
288
<text>Receive_0</text>
291
<position x="600" y="150"/>
294
<transition id="ReSend_0">
297
<offset x="65" y="46"/>
299
<text>ReSend_0</text>
302
<position x="240" y="240"/>
305
<transition id="Receive_old_0">
308
<offset x="90" y="-3"/>
310
<text>Receive_old_0</text>
313
<position x="495" y="240"/>
316
<transition id="Loss_A">
319
<offset x="-5" y="35"/>
324
<position x="390" y="240"/>
327
<transition id="Loss_B">
330
<offset x="-5" y="35"/>
335
<position x="390" y="450"/>
338
<transition id="Receive_1">
341
<offset x="89" y="31"/>
343
<text>Receive_1</text>
346
<position x="600" y="540"/>
349
<arc id="Medium_A_to_Loss_A" source="Medium_A" target="Loss_A" type="normal"/>
350
<arc id="Receiver_0_A_to_Receive_old_1" source="Receiver_0_A" target="Receive_old_1" type="normal"/>
351
<arc id="Receiver_0_A_to_Receive_0" source="Receiver_0_A" target="Receive_0" type="normal">
353
<position x="681" y="806"/>
354
<position x="730" y="805"/>
355
<position x="730" y="145"/>
356
<position x="656" y="144"/>
359
<arc id="Sender_0_A_to_Send_0" source="Sender_0_A" target="Send_0" type="normal"/>
360
<arc id="Sender_0_B_to_Ack_rec_0" source="Sender_0_B" target="Ack_rec_0" type="normal"/>
361
<arc id="Sender_0_B_to_ReSend_0" source="Sender_0_B" target="ReSend_0" type="normal">
363
<position x="220" y="235"/>
366
<arc id="Sender_1_A_to_Send_1" source="Sender_1_A" target="Send_1" type="normal"/>
367
<arc id="Sender_1_B_to_ReSend_1" source="Sender_1_B" target="ReSend_1" type="normal">
369
<position x="220" y="625"/>
372
<arc id="Sender_1_B_to_Ack_rec_1" source="Sender_1_B" target="Ack_rec_1" type="normal"/>
373
<arc id="Medium_B_to_Ack_rec_0" source="Medium_B" target="Ack_rec_0" type="normal"/>
374
<arc id="Medium_B_to_Loss_B" source="Medium_B" target="Loss_B" type="normal"/>
375
<arc id="Medium_C_to_Loss_C" source="Medium_C" target="Loss_C" type="normal"/>
376
<arc id="Medium_D_to_Loss_D" source="Medium_D" target="Loss_D" type="normal"/>
377
<arc id="Medium_D_to_Ack_rec_1" source="Medium_D" target="Ack_rec_1" type="normal"/>
378
<arc id="Receiver_1_A_to_Receive_old_0" source="Receiver_1_A" target="Receive_old_0" type="normal"/>
379
<arc id="Receiver_1_A_to_Receive_1" source="Receiver_1_A" target="Receive_1" type="normal"/>
380
<arc id="Ack_rec_0_to_Sender_1_A" source="Ack_rec_0" target="Sender_1_A" type="normal"/>
381
<arc id="Ack_send_0_to_Receiver_1_A" source="Ack_send_0" target="Receiver_1_A" type="normal"/>
382
<arc id="ReSend_1_to_Sender_1_B" source="ReSend_1" target="Sender_1_B" type="normal">
384
<position x="220" y="700"/>
387
<arc id="ReSend_1_to_Medium_C" source="ReSend_1" target="Medium_C" type="normal"/>
388
<arc id="Ack_send_1_to_Receiver_0_A" source="Ack_send_1" target="Receiver_0_A" type="normal"/>
389
<arc id="Send_1_to_Sender_1_B" source="Send_1" target="Sender_1_B" type="normal"/>
390
<arc id="Send_1_to_Medium_C" source="Send_1" target="Medium_C" type="normal"/>
391
<arc id="Ack_rec_1_to_Sender_0_A" source="Ack_rec_1" target="Sender_0_A" type="normal">
393
<position x="144" y="804"/>
394
<position x="69" y="804"/>
395
<position x="69" y="39"/>
396
<position x="174" y="39"/>
399
<arc id="Send_0_to_Medium_A" source="Send_0" target="Medium_A" type="normal"/>
400
<arc id="Send_0_to_Sender_0_B" source="Send_0" target="Sender_0_B" type="normal"/>
401
<arc id="ReSend_0_to_Medium_A" source="ReSend_0" target="Medium_A" type="normal"/>
402
<arc id="ReSend_0_to_Sender_0_B" source="ReSend_0" target="Sender_0_B" type="normal">
404
<position x="220" y="310"/>
407
<arc id="Receiver_0_B_to_Ack_send_0" source="Receiver_0_B" target="Ack_send_0" type="normal"/>
408
<arc id="Ack_send_0_to_Medium_B" source="Ack_send_0" target="Medium_B" type="normal"/>
409
<arc id="Medium_C_to_Receive_old_1" source="Medium_C" target="Receive_old_1" type="normal"/>
410
<arc id="Receive_old_1_to_Receiver_1_B" source="Receive_old_1" target="Receiver_1_B" type="normal"/>
411
<arc id="Receiver_1_B_to_Ack_send_1" source="Receiver_1_B" target="Ack_send_1" type="normal"/>
412
<arc id="Ack_send_1_to_Medium_D" source="Ack_send_1" target="Medium_D" type="normal"/>
413
<arc id="Medium_A_to_Receive_0" source="Medium_A" target="Receive_0" type="normal"/>
414
<arc id="Receive_0_to_Receiver_0_B" source="Receive_0" target="Receiver_0_B" type="normal"/>
415
<arc id="Medium_A_to_Receive_old_0" source="Medium_A" target="Receive_old_0" type="normal"/>
416
<arc id="Receive_old_0_to_Receiver_0_B" source="Receive_old_0" target="Receiver_0_B" type="normal"/>
417
<arc id="Medium_C_to_Receive_1" source="Medium_C" target="Receive_1" type="normal"/>
418
<arc id="Receive_1_to_Receiver_1_B" source="Receive_1" target="Receiver_1_B" type="normal"/>
421
<text>ComposedModel</text>