← Back to branch summary

~tapaal-dist/verifypn/verifypnLTSmin

« back to all changes in this revision

Viewing changes to INPUT_MC/MAPK-PT-320/model.pnml

  • Committer: Isabella Kaufmann
  • Date: 2015-05-07 12:00:42 UTC
  • Revision ID: ikaufm12@student.aau.dk-20150507120042-7yqz67vqrom2rz4v
new deadlock check models

Show diffs side-by-side

added added

removed removed

Lines of Context:
INPUT_MC/MAPK-PT-320/model.pnml
 
1
<?xml version="1.0"?>
 
2
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
 
3
  <net id="MAPK-PT-320" type="http://www.pnml.org/version-2009/grammar/ptnet">
 
4
    <page id="page0">
 
5
      <name>
 
6
        <text>DefaultPage</text>
 
7
      </name>
 
8
      <place id="ERK_MEKPP">
 
9
        <name>
 
10
          <graphics>
 
11
            <offset x="-16" y="11"/>
 
12
          </graphics>
 
13
          <text>ERK_MEKPP</text>
 
14
        </name>
 
15
        <graphics>
 
16
          <position x="1357" y="1088"/>
 
17
        </graphics>
 
18
      </place>
 
19
      <place id="ERKP_MEKPP">
 
20
        <name>
 
21
          <graphics>
 
22
            <offset x="83" y="-18"/>
 
23
          </graphics>
 
24
          <text>ERKP_MEKPP</text>
 
25
        </name>
 
26
        <graphics>
 
27
          <position x="1367" y="1243"/>
 
28
        </graphics>
 
29
      </place>
 
30
      <place id="Phase1">
 
31
        <name>
 
32
          <graphics>
 
33
            <offset x="9" y="14"/>
 
34
          </graphics>
 
35
          <text>Phase1</text>
 
36
        </name>
 
37
        <graphics>
 
38
          <position x="673" y="1237"/>
 
39
        </graphics>
 
40
        <initialMarking>
 
41
          <graphics>
 
42
            <offset x="-994" y="226"/>
 
43
          </graphics>
 
44
          <text>240</text>
 
45
        </initialMarking>
 
46
      </place>
 
47
      <place id="MEK">
 
48
        <name>
 
49
          <graphics>
 
50
            <offset x="9" y="17"/>
 
51
          </graphics>
 
52
          <text>MEK</text>
 
53
        </name>
 
54
        <graphics>
 
55
          <position x="809" y="1088"/>
 
56
        </graphics>
 
57
        <initialMarking>
 
58
          <graphics>
 
59
            <offset x="-858" y="77"/>
 
60
          </graphics>
 
61
          <text>160</text>
 
62
        </initialMarking>
 
63
      </place>
 
64
      <place id="ERKPP_Phase3">
 
65
        <name>
 
66
          <graphics>
 
67
            <offset x="-22" y="10"/>
 
68
          </graphics>
 
69
          <text>ERKPP_Phase3</text>
 
70
        </name>
 
71
        <graphics>
 
72
          <position x="1734" y="1088"/>
 
73
        </graphics>
 
74
      </place>
 
75
      <place id="ERKP_Phase3">
 
76
        <name>
 
77
          <graphics>
 
78
            <offset x="-15" y="8"/>
 
79
          </graphics>
 
80
          <text>ERKP_Phase3</text>
 
81
        </name>
 
82
        <graphics>
 
83
          <position x="1543" y="1088"/>
 
84
        </graphics>
 
85
      </place>
 
86
      <place id="ERKP">
 
87
        <name>
 
88
          <graphics>
 
89
            <offset x="10" y="18"/>
 
90
          </graphics>
 
91
          <text>ERKP</text>
 
92
        </name>
 
93
        <graphics>
 
94
          <position x="1459" y="1054"/>
 
95
        </graphics>
 
96
      </place>
 
97
      <place id="MEKPP">
 
98
        <name>
 
99
          <graphics>
 
100
            <offset x="-14" y="12"/>
 
101
          </graphics>
 
102
          <text>MEKPP</text>
 
103
        </name>
 
104
        <graphics>
 
105
          <position x="1255" y="1054"/>
 
106
        </graphics>
 
107
      </place>
 
108
      <place id="Phase2">
 
109
        <name>
 
110
          <graphics>
 
111
            <offset x="-22" y="10"/>
 
112
          </graphics>
 
113
          <text>Phase2</text>
 
114
        </name>
 
115
        <graphics>
 
116
          <position x="1098" y="1008"/>
 
117
        </graphics>
 
118
        <initialMarking>
 
119
          <graphics>
 
120
            <offset x="-569" y="-3"/>
 
121
          </graphics>
 
122
          <text>160</text>
 
123
        </initialMarking>
 
124
      </place>
 
125
      <place id="Phase3">
 
126
        <name>
 
127
          <graphics>
 
128
            <offset x="7" y="14"/>
 
129
          </graphics>
 
130
          <text>Phase3</text>
 
131
        </name>
 
132
        <graphics>
 
133
          <position x="1668" y="1008"/>
 
134
        </graphics>
 
135
        <initialMarking>
 
136
          <graphics>
 
137
            <offset x="1" y="-3"/>
 
138
          </graphics>
 
139
          <text>240</text>
 
140
        </initialMarking>
 
141
      </place>
 
142
      <place id="MEKP">
 
143
        <name>
 
144
          <graphics>
 
145
            <offset x="-22" y="10"/>
 
146
          </graphics>
 
147
          <text>MEKP</text>
 
148
        </name>
 
149
        <graphics>
 
150
          <position x="908" y="1217"/>
 
151
        </graphics>
 
152
      </place>
 
153
      <place id="ERKPP">
 
154
        <name>
 
155
          <graphics>
 
156
            <offset x="7" y="-22"/>
 
157
          </graphics>
 
158
          <text>ERKPP</text>
 
159
        </name>
 
160
        <graphics>
 
161
          <position x="1777" y="1208"/>
 
162
        </graphics>
 
163
      </place>
 
164
      <place id="MEKP_RafP">
 
165
        <name>
 
166
          <graphics>
 
167
            <offset x="-23" y="10"/>
 
168
          </graphics>
 
169
          <text>MEKP_RafP</text>
 
170
        </name>
 
171
        <graphics>
 
172
          <position x="908" y="1336"/>
 
173
        </graphics>
 
174
      </place>
 
175
      <place id="MEKP_Phase2">
 
176
        <name>
 
177
          <graphics>
 
178
            <offset x="75" y="13"/>
 
179
          </graphics>
 
180
          <text>MEKP_Phase2</text>
 
181
        </name>
 
182
        <graphics>
 
183
          <position x="1050" y="1088"/>
 
184
        </graphics>
 
185
      </place>
 
186
      <place id="MEKPP_Phase2">
 
187
        <name>
 
188
          <graphics>
 
189
            <offset x="-19" y="10"/>
 
190
          </graphics>
 
191
          <text>MEKPP_Phase2</text>
 
192
        </name>
 
193
        <graphics>
 
194
          <position x="1151" y="1088"/>
 
195
        </graphics>
 
196
      </place>
 
197
      <place id="ERK">
 
198
        <name>
 
199
          <graphics>
 
200
            <offset x="-18" y="9"/>
 
201
          </graphics>
 
202
          <text>ERK</text>
 
203
        </name>
 
204
        <graphics>
 
205
          <position x="1357" y="1008"/>
 
206
        </graphics>
 
207
        <initialMarking>
 
208
          <graphics>
 
209
            <offset x="-310" y="-3"/>
 
210
          </graphics>
 
211
          <text>240</text>
 
212
        </initialMarking>
 
213
      </place>
 
214
      <place id="RafP">
 
215
        <name>
 
216
          <graphics>
 
217
            <offset x="-25" y="-16"/>
 
218
          </graphics>
 
219
          <text>RafP</text>
 
220
        </name>
 
221
        <graphics>
 
222
          <position x="809" y="1273"/>
 
223
        </graphics>
 
224
      </place>
 
225
      <place id="Raf_RasGTP">
 
226
        <name>
 
227
          <graphics>
 
228
            <offset x="71" y="6"/>
 
229
          </graphics>
 
230
          <text>Raf_RasGTP</text>
 
231
        </name>
 
232
        <graphics>
 
233
          <position x="467" y="1316"/>
 
234
        </graphics>
 
235
      </place>
 
236
      <place id="MEK_RafP">
 
237
        <name>
 
238
          <graphics>
 
239
            <offset x="-19" y="7"/>
 
240
          </graphics>
 
241
          <text>MEK_RafP</text>
 
242
        </name>
 
243
        <graphics>
 
244
          <position x="809" y="1166"/>
 
245
        </graphics>
 
246
      </place>
 
247
      <place id="RafP_Phase1">
 
248
        <name>
 
249
          <graphics>
 
250
            <offset x="-22" y="2"/>
 
251
          </graphics>
 
252
          <text>RafP_Phase1</text>
 
253
        </name>
 
254
        <graphics>
 
255
          <position x="673" y="1309"/>
 
256
        </graphics>
 
257
      </place>
 
258
      <place id="RasGTP">
 
259
        <name>
 
260
          <graphics>
 
261
            <offset x="10" y="15"/>
 
262
          </graphics>
 
263
          <text>RasGTP</text>
 
264
        </name>
 
265
        <graphics>
 
266
          <position x="467" y="1229"/>
 
267
        </graphics>
 
268
        <initialMarking>
 
269
          <graphics>
 
270
            <offset x="-1200" y="218"/>
 
271
          </graphics>
 
272
          <text>80</text>
 
273
        </initialMarking>
 
274
      </place>
 
275
      <place id="Raf">
 
276
        <name>
 
277
          <graphics>
 
278
            <offset x="24" y="-2"/>
 
279
          </graphics>
 
280
          <text>Raf</text>
 
281
        </name>
 
282
        <graphics>
 
283
          <position x="555" y="1309"/>
 
284
        </graphics>
 
285
        <initialMarking>
 
286
          <graphics>
 
287
            <offset x="-1112" y="298"/>
 
288
          </graphics>
 
289
          <text>320</text>
 
290
        </initialMarking>
 
291
      </place>
 
292
      <transition id="k2">
 
293
        <name>
 
294
          <graphics>
 
295
            <offset x="22" y="3"/>
 
296
          </graphics>
 
297
          <text>k2</text>
 
298
        </name>
 
299
        <graphics>
 
300
          <position x="554" y="1372"/>
 
301
        </graphics>
 
302
      </transition>
 
303
      <transition id="k1">
 
304
        <name>
 
305
          <graphics>
 
306
            <offset x="-23" y="14"/>
 
307
          </graphics>
 
308
          <text>k1</text>
 
309
        </name>
 
310
        <graphics>
 
311
          <position x="466" y="1281"/>
 
312
        </graphics>
 
313
      </transition>
 
314
      <transition id="k6">
 
315
        <name>
 
316
          <graphics>
 
317
            <offset x="9" y="-13"/>
 
318
          </graphics>
 
319
          <text>k6</text>
 
320
        </name>
 
321
        <graphics>
 
322
          <position x="601" y="1315"/>
 
323
        </graphics>
 
324
      </transition>
 
325
      <transition id="k3">
 
326
        <name>
 
327
          <graphics>
 
328
            <offset x="-27" y="3"/>
 
329
          </graphics>
 
330
          <text>k3</text>
 
331
        </name>
 
332
        <graphics>
 
333
          <position x="381" y="1372"/>
 
334
        </graphics>
 
335
      </transition>
 
336
      <transition id="k18">
 
337
        <name>
 
338
          <graphics>
 
339
            <offset x="1" y="-13"/>
 
340
          </graphics>
 
341
          <text>k18</text>
 
342
        </name>
 
343
        <graphics>
 
344
          <position x="928" y="1094"/>
 
345
        </graphics>
 
346
      </transition>
 
347
      <transition id="k21">
 
348
        <name>
 
349
          <graphics>
 
350
            <offset x="24" y="6"/>
 
351
          </graphics>
 
352
          <text>k21</text>
 
353
        </name>
 
354
        <graphics>
 
355
          <position x="1391" y="1132"/>
 
356
        </graphics>
 
357
      </transition>
 
358
      <transition id="k12">
 
359
        <name>
 
360
          <graphics>
 
361
            <offset x="24" y="4"/>
 
362
          </graphics>
 
363
          <text>k12</text>
 
364
        </name>
 
365
        <graphics>
 
366
          <position x="941" y="1395"/>
 
367
        </graphics>
 
368
      </transition>
 
369
      <transition id="k9">
 
370
        <name>
 
371
          <graphics>
 
372
            <offset x="-12" y="16"/>
 
373
          </graphics>
 
374
          <text>k9</text>
 
375
        </name>
 
376
        <graphics>
 
377
          <position x="857" y="1223"/>
 
378
        </graphics>
 
379
      </transition>
 
380
      <transition id="k24">
 
381
        <name>
 
382
          <graphics>
 
383
            <offset x="2" y="20"/>
 
384
          </graphics>
 
385
          <text>k24</text>
 
386
        </name>
 
387
        <graphics>
 
388
          <position x="1435" y="1214"/>
 
389
        </graphics>
 
390
      </transition>
 
391
      <transition id="k15">
 
392
        <name>
 
393
          <graphics>
 
394
            <offset x="-24" y="5"/>
 
395
          </graphics>
 
396
          <text>k15</text>
 
397
        </name>
 
398
        <graphics>
 
399
          <position x="1097" y="1132"/>
 
400
        </graphics>
 
401
      </transition>
 
402
      <transition id="k25">
 
403
        <name>
 
404
          <graphics>
 
405
            <offset x="-22" y="14"/>
 
406
          </graphics>
 
407
          <text>k25</text>
 
408
        </name>
 
409
        <graphics>
 
410
          <position x="1733" y="1060"/>
 
411
        </graphics>
 
412
      </transition>
 
413
      <transition id="k26">
 
414
        <name>
 
415
          <graphics>
 
416
            <offset x="29" y="5"/>
 
417
          </graphics>
 
418
          <text>k26</text>
 
419
        </name>
 
420
        <graphics>
 
421
          <position x="1776" y="1132"/>
 
422
        </graphics>
 
423
      </transition>
 
424
      <transition id="k8">
 
425
        <name>
 
426
          <graphics>
 
427
            <offset x="14" y="14"/>
 
428
          </graphics>
 
429
          <text>k8</text>
 
430
        </name>
 
431
        <graphics>
 
432
          <position x="756" y="1223"/>
 
433
        </graphics>
 
434
      </transition>
 
435
      <transition id="k11">
 
436
        <name>
 
437
          <graphics>
 
438
            <offset x="-22" y="4"/>
 
439
          </graphics>
 
440
          <text>k11</text>
 
441
        </name>
 
442
        <graphics>
 
443
          <position x="872" y="1395"/>
 
444
        </graphics>
 
445
      </transition>
 
446
      <transition id="k20">
 
447
        <name>
 
448
          <graphics>
 
449
            <offset x="-23" y="5"/>
 
450
          </graphics>
 
451
          <text>k20</text>
 
452
        </name>
 
453
        <graphics>
 
454
          <position x="1315" y="1132"/>
 
455
        </graphics>
 
456
      </transition>
 
457
      <transition id="k23">
 
458
        <name>
 
459
          <graphics>
 
460
            <offset x="-22" y="14"/>
 
461
          </graphics>
 
462
          <text>k23</text>
 
463
        </name>
 
464
        <graphics>
 
465
          <position x="1366" y="1297"/>
 
466
        </graphics>
 
467
      </transition>
 
468
      <transition id="k10">
 
469
        <name>
 
470
          <graphics>
 
471
            <offset x="-22" y="14"/>
 
472
          </graphics>
 
473
          <text>k10</text>
 
474
        </name>
 
475
        <graphics>
 
476
          <position x="907" y="1279"/>
 
477
        </graphics>
 
478
      </transition>
 
479
      <transition id="k7">
 
480
        <name>
 
481
          <graphics>
 
482
            <offset x="-22" y="14"/>
 
483
          </graphics>
 
484
          <text>k7</text>
 
485
        </name>
 
486
        <graphics>
 
487
          <position x="808" y="1132"/>
 
488
        </graphics>
 
489
      </transition>
 
490
      <transition id="k28">
 
491
        <name>
 
492
          <graphics>
 
493
            <offset x="25" y="14"/>
 
494
          </graphics>
 
495
          <text>k28</text>
 
496
        </name>
 
497
        <graphics>
 
498
          <position x="1542" y="1060"/>
 
499
        </graphics>
 
500
      </transition>
 
501
      <transition id="k14">
 
502
        <name>
 
503
          <graphics>
 
504
            <offset x="-22" y="14"/>
 
505
          </graphics>
 
506
          <text>k14</text>
 
507
        </name>
 
508
        <graphics>
 
509
          <position x="1219" y="1132"/>
 
510
        </graphics>
 
511
      </transition>
 
512
      <transition id="k13">
 
513
        <name>
 
514
          <graphics>
 
515
            <offset x="23" y="10"/>
 
516
          </graphics>
 
517
          <text>k13</text>
 
518
        </name>
 
519
        <graphics>
 
520
          <position x="1150" y="1060"/>
 
521
        </graphics>
 
522
      </transition>
 
523
      <transition id="k27">
 
524
        <name>
 
525
          <graphics>
 
526
            <offset x="-25" y="6"/>
 
527
          </graphics>
 
528
          <text>k27</text>
 
529
        </name>
 
530
        <graphics>
 
531
          <position x="1687" y="1132"/>
 
532
        </graphics>
 
533
      </transition>
 
534
      <transition id="k22">
 
535
        <name>
 
536
          <graphics>
 
537
            <offset x="-26" y="6"/>
 
538
          </graphics>
 
539
          <text>k22</text>
 
540
        </name>
 
541
        <graphics>
 
542
          <position x="1366" y="1191"/>
 
543
        </graphics>
 
544
      </transition>
 
545
      <transition id="k19">
 
546
        <name>
 
547
          <graphics>
 
548
            <offset x="-22" y="14"/>
 
549
          </graphics>
 
550
          <text>k19</text>
 
551
        </name>
 
552
        <graphics>
 
553
          <position x="1356" y="1060"/>
 
554
        </graphics>
 
555
      </transition>
 
556
      <transition id="k4">
 
557
        <name>
 
558
          <graphics>
 
559
            <offset x="18" y="3"/>
 
560
          </graphics>
 
561
          <text>k4</text>
 
562
        </name>
 
563
        <graphics>
 
564
          <position x="672" y="1279"/>
 
565
        </graphics>
 
566
      </transition>
 
567
      <transition id="k29">
 
568
        <name>
 
569
          <graphics>
 
570
            <offset x="-22" y="0"/>
 
571
          </graphics>
 
572
          <text>k29</text>
 
573
        </name>
 
574
        <graphics>
 
575
          <position x="1491" y="1132"/>
 
576
        </graphics>
 
577
      </transition>
 
578
      <transition id="k17">
 
579
        <name>
 
580
          <graphics>
 
581
            <offset x="22" y="16"/>
 
582
          </graphics>
 
583
          <text>k17</text>
 
584
        </name>
 
585
        <graphics>
 
586
          <position x="1049" y="1132"/>
 
587
        </graphics>
 
588
      </transition>
 
589
      <transition id="k30">
 
590
        <name>
 
591
          <graphics>
 
592
            <offset x="23" y="1"/>
 
593
          </graphics>
 
594
          <text>k30</text>
 
595
        </name>
 
596
        <graphics>
 
597
          <position x="1585" y="1132"/>
 
598
        </graphics>
 
599
      </transition>
 
600
      <transition id="k16">
 
601
        <name>
 
602
          <graphics>
 
603
            <offset x="-22" y="11"/>
 
604
          </graphics>
 
605
          <text>k16</text>
 
606
        </name>
 
607
        <graphics>
 
608
          <position x="1049" y="1060"/>
 
609
        </graphics>
 
610
      </transition>
 
611
      <transition id="k5">
 
612
        <name>
 
613
          <graphics>
 
614
            <offset x="-19" y="-12"/>
 
615
          </graphics>
 
616
          <text>k5</text>
 
617
        </name>
 
618
        <graphics>
 
619
          <position x="672" y="1355"/>
 
620
        </graphics>
 
621
      </transition>
 
622
      <arc id="cId593912592922633961085" source="k5" target="RafP">
 
623
        <graphics>
 
624
          <position x="815" y="1355"/>
 
625
        </graphics>
 
626
      </arc>
 
627
      <arc id="cId597878554360662786784" source="Phase1" target="k4"/>      <arc id="cId597878554360662786787" source="RafP_Phase1" target="k5"/>      <arc id="cId597878554360662786786" source="k5" target="Phase1">
 
628
        <graphics>
 
629
          <position x="640" y="1355"/>
 
630
          <position x="640" y="1243"/>
 
631
        </graphics>
 
632
      </arc>
 
633
      <arc id="cId597878554360662786793" source="RafP" target="k4"/>      <arc id="cId597878554360662786792" source="k4" target="RafP_Phase1"/>      <arc id="cId597878554360662786795" source="Phase3" target="k25"/>      <arc id="cId597878554360662786794" source="k26" target="ERKPP"/>      <arc id="cId597878554360662786789" source="MEKPP" target="k13"/>      <arc id="cId597713305609497644388" source="k13" target="MEKPP_Phase2"/>      <arc id="cId597713305609497644391" source="k14" target="MEKPP">
 
634
        <graphics>
 
635
          <position x="1261" y="1132"/>
 
636
        </graphics>
 
637
      </arc>
 
638
      <arc id="cId597713305609497644390" source="Phase2" target="k13"/>      <arc id="cId5977133056094976443102" source="k11" target="MEKP">
 
639
        <graphics>
 
640
          <position x="875" y="1223"/>
 
641
        </graphics>
 
642
      </arc>
 
643
      <arc id="cId5977133056094976443103" source="MEK_RafP" target="k8"/>      <arc id="cId5977133056094976443100" source="ERKPP" target="k25">
 
644
        <graphics>
 
645
          <position x="1879" y="1214"/>
 
646
          <position x="1879" y="1060"/>
 
647
        </graphics>
 
648
      </arc>
 
649
      <arc id="cId5977133056094976443101" source="k25" target="ERKPP_Phase3"/>      <arc id="cId597713305609497644398" source="MEKP_RafP" target="k11"/>      <arc id="cId597713305609497644399" source="k11" target="RafP">
 
650
        <graphics>
 
651
          <position x="815" y="1395"/>
 
652
        </graphics>
 
653
      </arc>
 
654
      <arc id="cId597713305609497644396" source="ERKPP_Phase3" target="k26"/>      <arc id="cId597713305609497644397" source="k26" target="Phase3">
 
655
        <graphics>
 
656
          <position x="1854" y="1132"/>
 
657
          <position x="1854" y="1014"/>
 
658
        </graphics>
 
659
      </arc>
 
660
      <arc id="cId5968870640011555803110" source="k8" target="MEK">
 
661
        <graphics>
 
662
          <position x="759" y="1094"/>
 
663
        </graphics>
 
664
      </arc>
 
665
      <arc id="cId5968870640011555803111" source="k8" target="RafP"/>      <arc id="cId5968870640011555803108" source="k20" target="ERK">
 
666
        <graphics>
 
667
          <position x="1318" y="1014"/>
 
668
        </graphics>
 
669
      </arc>
 
670
      <arc id="cId5968870640011555803109" source="k20" target="MEKPP">
 
671
        <graphics>
 
672
          <position x="1261" y="1132"/>
 
673
        </graphics>
 
674
      </arc>
 
675
      <arc id="cId5968870640011555803106" source="ERK_MEKPP" target="k20"/>      <arc id="cId5968870640011555803107" source="k23" target="ERKP">
 
676
        <graphics>
 
677
          <position x="1465" y="1297"/>
 
678
        </graphics>
 
679
      </arc>
 
680
      <arc id="cId5968870640011555803104" source="MEK" target="k7"/>      <arc id="cId5968870640011555803105" source="RafP" target="k7">
 
681
        <graphics>
 
682
          <position x="731" y="1132"/>
 
683
          <position x="731" y="1279"/>
 
684
        </graphics>
 
685
      </arc>
 
686
      <arc id="cId5968870640011555803119" source="k3" target="RasGTP">
 
687
        <graphics>
 
688
          <position x="384" y="1235"/>
 
689
        </graphics>
 
690
      </arc>
 
691
      <arc id="cId5968870640011555803118" source="RafP_Phase1" target="k6"/>      <arc id="cId5968870640011555803117" source="k6" target="Raf"/>      <arc id="cId5967218156794871674116" source="k6" target="Phase1">
 
692
        <graphics>
 
693
          <position x="608" y="1243"/>
 
694
        </graphics>
 
695
      </arc>
 
696
      <arc id="cId5967218156794871674115" source="ERK_MEKPP" target="k21"/>      <arc id="cId5967218156794871674114" source="k21" target="ERKP">
 
697
        <graphics>
 
698
          <position x="1465" y="1132"/>
 
699
        </graphics>
 
700
      </arc>
 
701
      <arc id="cId5967218156794871674113" source="ERKP_MEKPP" target="k23"/>      <arc id="cId5967218156794871674112" source="k23" target="MEKPP">
 
702
        <graphics>
 
703
          <position x="1261" y="1297"/>
 
704
        </graphics>
 
705
      </arc>
 
706
      <arc id="cId5967218156794871674127" source="MEK_RafP" target="k9"/>      <arc id="cId5967218156794871674126" source="k9" target="MEKP"/>      <arc id="cId5967218156794871674125" source="MEKPP_Phase2" target="k15"/>      <arc id="cId5967218156794871674124" source="k15" target="Phase2"/>      <arc id="cId5967218156794871674123" source="k21" target="MEKPP">
 
707
        <graphics>
 
708
          <position x="1398" y="1162"/>
 
709
          <position x="1261" y="1162"/>
 
710
        </graphics>
 
711
      </arc>
 
712
      <arc id="cId5967218156794871674122" source="MEKP_Phase2" target="k18"/>      <arc id="cId5967218156794871674121" source="Raf_RasGTP" target="k3"/>      <arc id="cId5967218156794871674120" source="k3" target="RafP">
 
713
        <graphics>
 
714
          <position x="388" y="1392"/>
 
715
          <position x="815" y="1392"/>
 
716
        </graphics>
 
717
      </arc>
 
718
      <arc id="cId5972175610739891355137" source="k10" target="MEKP_RafP"/>      <arc id="cId5972175610739891355136" source="MEKP" target="k10"/>      <arc id="cId5972175610739891355139" source="ERK" target="k19"/>      <arc id="cId5972175610739891355138" source="MEKPP" target="k19"/>      <arc id="cId5972175610739891355141" source="MEKPP" target="k22">
 
719
        <graphics>
 
720
          <position x="1300" y="1141"/>
 
721
        </graphics>
 
722
      </arc>
 
723
      <arc id="cId5972175610739891355140" source="k19" target="ERK_MEKPP"/>      <arc id="cId5972175610739891355143" source="k22" target="ERKP_MEKPP"/>      <arc id="cId5972175610739891355142" source="ERKP" target="k22"/>      <arc id="cId5972175610739891355129" source="k18" target="MEK"/>      <arc id="cId5972175610739891355128" source="k18" target="Phase2">
 
724
        <graphics>
 
725
          <position x="935" y="1014"/>
 
726
        </graphics>
 
727
      </arc>
 
728
      <arc id="cId5972175610739891355131" source="k12" target="MEKPP">
 
729
        <graphics>
 
730
          <position x="1261" y="1395"/>
 
731
        </graphics>
 
732
      </arc>
 
733
      <arc id="cId5972175610739891355130" source="k12" target="RafP">
 
734
        <graphics>
 
735
          <position x="815" y="1422"/>
 
736
          <position x="948" y="1422"/>
 
737
        </graphics>
 
738
      </arc>
 
739
      <arc id="cId5972175610739891355133" source="k9" target="RafP"/>      <arc id="cId5970523123228239931132" source="MEKP_RafP" target="k12"/>      <arc id="cId5970523123228239931135" source="RafP" target="k10"/>      <arc id="cId5970523123228239931134" source="k7" target="MEK_RafP"/>      <arc id="cId5970523123228239931152" source="k2" target="RasGTP">
 
740
        <graphics>
 
741
          <position x="583" y="1372"/>
 
742
          <position x="583" y="1235"/>
 
743
        </graphics>
 
744
      </arc>
 
745
      <arc id="cId5970523123228239931153" source="k2" target="Raf"/>      <arc id="cId5970523123228239931154" source="k27" target="Phase3">
 
746
        <graphics>
 
747
          <position x="1674" y="1132"/>
 
748
        </graphics>
 
749
      </arc>
 
750
      <arc id="cId5970523123228239931155" source="ERKPP_Phase3" target="k27"/>      <arc id="cId5970523123228239931156" source="ERKP_Phase3" target="k30"/>      <arc id="cId5970523123228239931157" source="k27" target="ERKP">
 
751
        <graphics>
 
752
          <position x="1465" y="1171"/>
 
753
          <position x="1694" y="1171"/>
 
754
        </graphics>
 
755
      </arc>
 
756
      <arc id="cId5970523123228239931158" source="k30" target="Phase3">
 
757
        <graphics>
 
758
          <position x="1674" y="1132"/>
 
759
        </graphics>
 
760
      </arc>
 
761
      <arc id="cId5970523123228239931159" source="k30" target="ERK">
 
762
        <graphics>
 
763
          <position x="1642" y="986"/>
 
764
          <position x="1363" y="986"/>
 
765
          <position x="1642" y="1132"/>
 
766
        </graphics>
 
767
      </arc>
 
768
      <arc id="cId5970523123228239931144" source="k1" target="Raf_RasGTP"/>      <arc id="cId5970523123228239931145" source="Raf_RasGTP" target="k2"/>      <arc id="cId5962260702849851994146" source="Raf" target="k1">
 
769
        <graphics>
 
770
          <position x="561" y="1281"/>
 
771
        </graphics>
 
772
      </arc>
 
773
      <arc id="cId5962260702849851994147" source="RasGTP" target="k1"/>      <arc id="cId5962260702849851994148" source="k24" target="ERKPP"/>      <arc id="cId5962260702849851994149" source="k24" target="MEKPP">
 
774
        <graphics>
 
775
          <position x="1261" y="1214"/>
 
776
        </graphics>
 
777
      </arc>
 
778
      <arc id="cId5962260702849851994150" source="k15" target="MEKP">
 
779
        <graphics>
 
780
          <position x="1104" y="1223"/>
 
781
        </graphics>
 
782
      </arc>
 
783
      <arc id="cId5962260702849851994151" source="ERKP_MEKPP" target="k24">
 
784
        <graphics>
 
785
          <position x="1442" y="1249"/>
 
786
        </graphics>
 
787
      </arc>
 
788
      <arc id="cId5962260702849851994171" source="k29" target="Phase3">
 
789
        <graphics>
 
790
          <position x="1498" y="1150"/>
 
791
          <position x="1674" y="1150"/>
 
792
        </graphics>
 
793
      </arc>
 
794
      <arc id="cId5962260702849851994170" source="ERKP_Phase3" target="k29"/>      <arc id="cId5962260702849851994169" source="k17" target="MEKP">
 
795
        <graphics>
 
796
          <position x="1056" y="1223"/>
 
797
        </graphics>
 
798
      </arc>
 
799
      <arc id="cId5962260702849851994168" source="k17" target="Phase2">
 
800
        <graphics>
 
801
          <position x="966" y="1132"/>
 
802
          <position x="966" y="1014"/>
 
803
        </graphics>
 
804
      </arc>
 
805
      <arc id="cId5962260702849851994173" source="k14" target="Phase2">
 
806
        <graphics>
 
807
          <position x="1229" y="1014"/>
 
808
        </graphics>
 
809
      </arc>
 
810
      <arc id="cId5962260702849851994172" source="MEKPP_Phase2" target="k14"/>      <arc id="cId5962260702849851994163" source="k16" target="MEKP_Phase2"/>      <arc id="cId5960608219633167866162" source="MEKP_Phase2" target="k17"/>      <arc id="cId5960608219633167866161" source="Phase2" target="k16"/>      <arc id="cId5960608219633167866160" source="MEKP" target="k16">
 
811
        <graphics>
 
812
          <position x="914" y="1060"/>
 
813
        </graphics>
 
814
      </arc>
 
815
      <arc id="cId5960608219633167866167" source="k28" target="ERKP_Phase3"/>      <arc id="cId5960608219633167866166" source="ERKP" target="k28"/>      <arc id="cId5960608219633167866165" source="Phase3" target="k28"/>      <arc id="cId5960608219633167866164" source="k29" target="ERKP">
 
816
        <graphics>
 
817
          <position x="1465" y="1132"/>
 
818
        </graphics>
 
819
      </arc>
 
820
    </page>
 
821
    <name>
 
822
      <text>MAPK-PT-320</text>
 
823
    </name>
 
824
  </net>
 
825
</pnml>