← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

« back to all changes in this revision

Viewing changes to src/resources/Example nets/fischer-protocol.xml

  • Committer: Kenneth Yrke Jørgensen
  • Date: 2011-04-12 09:50:16 UTC
  • mfrom: (329.1.188 tapaal-1.5)
  • Revision ID: mail@yrke.dk-20110412095016-e4hqdgab5596ja09
Merged with branch addning support for new 1.5 features

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/resources/Example nets/fischer-protocol.xml
1
 
<?xml version="1.0" encoding="iso-8859-1"?>
2
 
<pnml>
3
 
<net id="Net-One" type="P/T net">
4
 
<labels x="29" y="502" width="117" height="281" border="true">
5
 
<text>There are four places A, B, C, and CS 
 
1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 
2
<pnml xmlns="http://www.informatik.hu-berlin.de/top/pnml/ptNetb">
 
3
<net id="TAPN1" type="P/T net">
 
4
<labels border="true" height="375" positionX="30" positionY="503" width="118">There are four places A, B, C, and CS 
6
5
and their dual places A_, B_, C_, and CS_
7
6
There is always at most one token in
8
7
either of the dual places representing
12
11
undefined. The number of initial tokens
13
12
in place A represents the total number
14
13
of processes.
15
 
</text>
16
14
</labels>
17
 
<place id="P0">
18
 
<graphics>
19
 
<position x="150.0" y="120.0"/>
20
 
</graphics>
21
 
<name>
22
 
<value>A_</value>
23
 
<graphics>
24
 
<offset x="-5.0" y="33.0"/>
25
 
</graphics>
26
 
</name>
27
 
<initialMarking>
28
 
<value>0</value>
29
 
<graphics>
30
 
<offset x="0.0" y="0.0"/>
31
 
</graphics>
32
 
</initialMarking>
33
 
<capacity>
34
 
<value>0</value>
35
 
</capacity>
36
 
<invariant>
37
 
<value>&lt;inf</value>
38
 
</invariant>
39
 
</place>
40
 
<place id="P1">
41
 
<graphics>
42
 
<position x="270.0" y="120.0"/>
43
 
</graphics>
44
 
<name>
45
 
<value>A</value>
46
 
<graphics>
47
 
<offset x="-5.0" y="35.0"/>
48
 
</graphics>
49
 
</name>
50
 
<initialMarking>
51
 
<value>40</value>
52
 
<graphics>
53
 
<offset x="0.0" y="0.0"/>
54
 
</graphics>
55
 
</initialMarking>
56
 
<capacity>
57
 
<value>0</value>
58
 
</capacity>
59
 
<invariant>
60
 
<value>&lt;inf</value>
61
 
</invariant>
62
 
</place>
63
 
<place id="P2">
64
 
<graphics>
65
 
<position x="540.0" y="120.0"/>
66
 
</graphics>
67
 
<name>
68
 
<value>B</value>
69
 
<graphics>
70
 
<offset x="-5.0" y="35.0"/>
71
 
</graphics>
72
 
</name>
73
 
<initialMarking>
74
 
<value>0</value>
75
 
<graphics>
76
 
<offset x="0.0" y="0.0"/>
77
 
</graphics>
78
 
</initialMarking>
79
 
<capacity>
80
 
<value>0</value>
81
 
</capacity>
82
 
<invariant>
83
 
<value>&lt;inf</value>
84
 
</invariant>
85
 
</place>
86
 
<place id="P3">
87
 
<graphics>
88
 
<position x="810.0" y="120.0"/>
89
 
</graphics>
90
 
<name>
91
 
<value>B_</value>
92
 
<graphics>
93
 
<offset x="-5.0" y="35.0"/>
94
 
</graphics>
95
 
</name>
96
 
<initialMarking>
97
 
<value>0</value>
98
 
<graphics>
99
 
<offset x="0.0" y="0.0"/>
100
 
</graphics>
101
 
</initialMarking>
102
 
<capacity>
103
 
<value>0</value>
104
 
</capacity>
105
 
<invariant>
106
 
<value>&lt;inf</value>
107
 
</invariant>
108
 
</place>
109
 
<place id="P4">
110
 
<graphics>
111
 
<position x="390.0" y="270.0"/>
112
 
</graphics>
113
 
<name>
114
 
<value>udf</value>
115
 
<graphics>
116
 
<offset x="-5.0" y="35.0"/>
117
 
</graphics>
118
 
</name>
119
 
<initialMarking>
120
 
<value>1</value>
121
 
<graphics>
122
 
<offset x="0.0" y="0.0"/>
123
 
</graphics>
124
 
</initialMarking>
125
 
<capacity>
126
 
<value>0</value>
127
 
</capacity>
128
 
<invariant>
129
 
<value>&lt;inf</value>
130
 
</invariant>
131
 
</place>
132
 
<place id="P5">
133
 
<graphics>
134
 
<position x="150.0" y="420.0"/>
135
 
</graphics>
136
 
<name>
137
 
<value>C</value>
138
 
<graphics>
139
 
<offset x="-5.0" y="35.0"/>
140
 
</graphics>
141
 
</name>
142
 
<initialMarking>
143
 
<value>0</value>
144
 
<graphics>
145
 
<offset x="0.0" y="0.0"/>
146
 
</graphics>
147
 
</initialMarking>
148
 
<capacity>
149
 
<value>0</value>
150
 
</capacity>
151
 
<invariant>
152
 
<value>&lt;inf</value>
153
 
</invariant>
154
 
</place>
155
 
<place id="P6">
156
 
<graphics>
157
 
<position x="270.0" y="570.0"/>
158
 
</graphics>
159
 
<name>
160
 
<value>CS</value>
161
 
<graphics>
162
 
<offset x="-5.0" y="35.0"/>
163
 
</graphics>
164
 
</name>
165
 
<initialMarking>
166
 
<value>0</value>
167
 
<graphics>
168
 
<offset x="0.0" y="0.0"/>
169
 
</graphics>
170
 
</initialMarking>
171
 
<capacity>
172
 
<value>0</value>
173
 
</capacity>
174
 
<invariant>
175
 
<value>&lt;inf</value>
176
 
</invariant>
177
 
</place>
178
 
<place id="P7">
179
 
<graphics>
180
 
<position x="390.0" y="570.0"/>
181
 
</graphics>
182
 
<name>
183
 
<value>CS_</value>
184
 
<graphics>
185
 
<offset x="-5.0" y="35.0"/>
186
 
</graphics>
187
 
</name>
188
 
<initialMarking>
189
 
<value>0</value>
190
 
<graphics>
191
 
<offset x="0.0" y="0.0"/>
192
 
</graphics>
193
 
</initialMarking>
194
 
<capacity>
195
 
<value>0</value>
196
 
</capacity>
197
 
<invariant>
198
 
<value>&lt;inf</value>
199
 
</invariant>
200
 
</place>
201
 
<place id="P8">
202
 
<graphics>
203
 
<position x="810.0" y="570.0"/>
204
 
</graphics>
205
 
<name>
206
 
<value>C_</value>
207
 
<graphics>
208
 
<offset x="-5.0" y="35.0"/>
209
 
</graphics>
210
 
</name>
211
 
<initialMarking>
212
 
<value>0</value>
213
 
<graphics>
214
 
<offset x="0.0" y="0.0"/>
215
 
</graphics>
216
 
</initialMarking>
217
 
<capacity>
218
 
<value>0</value>
219
 
</capacity>
220
 
<invariant>
221
 
<value>&lt;inf</value>
222
 
</invariant>
223
 
</place>
224
 
<transition id="T0">
225
 
<graphics>
226
 
<position x="390.0" y="120.0"/>
227
 
</graphics>
228
 
<name>
229
 
<value>Initiate</value>
230
 
<graphics>
231
 
<offset x="-5.0" y="35.0"/>
232
 
</graphics>
233
 
</name>
234
 
<orientation>
235
 
<value>0</value>
236
 
</orientation>
237
 
<rate>
238
 
<value>1.0</value>
239
 
</rate>
240
 
<timed>
241
 
<value>false</value>
242
 
</timed>
243
 
<infiniteServer>
244
 
<value>false</value>
245
 
</infiniteServer>
246
 
<priority>
247
 
<value>50</value>
248
 
</priority>
249
 
</transition>
250
 
<transition id="T10">
251
 
<graphics>
252
 
<position x="660.0" y="180.0"/>
253
 
</graphics>
254
 
<name>
255
 
<value>Choose2B</value>
256
 
<graphics>
257
 
<offset x="-5.0" y="35.0"/>
258
 
</graphics>
259
 
</name>
260
 
<orientation>
261
 
<value>0</value>
262
 
</orientation>
263
 
<rate>
264
 
<value>1.0</value>
265
 
</rate>
266
 
<timed>
267
 
<value>false</value>
268
 
</timed>
269
 
<infiniteServer>
270
 
<value>false</value>
271
 
</infiniteServer>
272
 
<priority>
273
 
<value>50</value>
274
 
</priority>
275
 
</transition>
276
 
<transition id="T11">
277
 
<graphics>
278
 
<position x="660.0" y="420.0"/>
279
 
</graphics>
280
 
<name>
281
 
<value>Choose2CS</value>
282
 
<graphics>
283
 
<offset x="-5.0" y="35.0"/>
284
 
</graphics>
285
 
</name>
286
 
<orientation>
287
 
<value>0</value>
288
 
</orientation>
289
 
<rate>
290
 
<value>1.0</value>
291
 
</rate>
292
 
<timed>
293
 
<value>false</value>
294
 
</timed>
295
 
<infiniteServer>
296
 
<value>false</value>
297
 
</infiniteServer>
298
 
<priority>
299
 
<value>50</value>
300
 
</priority>
301
 
</transition>
302
 
<transition id="T12">
303
 
<graphics>
304
 
<position x="390.0" y="660.0"/>
305
 
</graphics>
306
 
<name>
307
 
<value>Exit2B</value>
308
 
<graphics>
309
 
<offset x="-3.0" y="35.0"/>
310
 
</graphics>
311
 
</name>
312
 
<orientation>
313
 
<value>0</value>
314
 
</orientation>
315
 
<rate>
316
 
<value>1.0</value>
317
 
</rate>
318
 
<timed>
319
 
<value>false</value>
320
 
</timed>
321
 
<infiniteServer>
322
 
<value>false</value>
323
 
</infiniteServer>
324
 
<priority>
325
 
<value>50</value>
326
 
</priority>
327
 
</transition>
328
 
<transition id="T13">
329
 
<graphics>
330
 
<position x="450.0" y="660.0"/>
331
 
</graphics>
332
 
<name>
333
 
<value>Exit2C</value>
334
 
<graphics>
335
 
<offset x="-5.0" y="35.0"/>
336
 
</graphics>
337
 
</name>
338
 
<orientation>
339
 
<value>0</value>
340
 
</orientation>
341
 
<rate>
342
 
<value>1.0</value>
343
 
</rate>
344
 
<timed>
345
 
<value>false</value>
346
 
</timed>
347
 
<infiniteServer>
348
 
<value>false</value>
349
 
</infiniteServer>
350
 
<priority>
351
 
<value>50</value>
352
 
</priority>
353
 
</transition>
354
 
<transition id="T14">
355
 
<graphics>
356
 
<position x="510.0" y="660.0"/>
357
 
</graphics>
358
 
<name>
359
 
<value>Exit2CS</value>
360
 
<graphics>
361
 
<offset x="-5.0" y="35.0"/>
362
 
</graphics>
363
 
</name>
364
 
<orientation>
365
 
<value>0</value>
366
 
</orientation>
367
 
<rate>
368
 
<value>1.0</value>
369
 
</rate>
370
 
<timed>
371
 
<value>false</value>
372
 
</timed>
373
 
<infiniteServer>
374
 
<value>false</value>
375
 
</infiniteServer>
376
 
<priority>
377
 
<value>50</value>
378
 
</priority>
379
 
</transition>
380
 
<transition id="T15">
381
 
<graphics>
382
 
<position x="1035.0" y="360.0"/>
383
 
</graphics>
384
 
<name>
385
 
<value>Fail1</value>
386
 
<graphics>
387
 
<offset x="-5.0" y="35.0"/>
388
 
</graphics>
389
 
</name>
390
 
<orientation>
391
 
<value>0</value>
392
 
</orientation>
393
 
<rate>
394
 
<value>1.0</value>
395
 
</rate>
396
 
<timed>
397
 
<value>false</value>
398
 
</timed>
399
 
<infiniteServer>
400
 
<value>false</value>
401
 
</infiniteServer>
402
 
<priority>
403
 
<value>1</value>
404
 
</priority>
405
 
</transition>
406
 
<transition id="T16">
407
 
<graphics>
408
 
<position x="30.0" y="255.0"/>
409
 
</graphics>
410
 
<name>
411
 
<value>Fail2</value>
412
 
<graphics>
413
 
<offset x="-5.0" y="35.0"/>
414
 
</graphics>
415
 
</name>
416
 
<orientation>
417
 
<value>0</value>
418
 
</orientation>
419
 
<rate>
420
 
<value>1.0</value>
421
 
</rate>
422
 
<timed>
423
 
<value>false</value>
424
 
</timed>
425
 
<infiniteServer>
426
 
<value>false</value>
427
 
</infiniteServer>
428
 
<priority>
429
 
<value>1</value>
430
 
</priority>
431
 
</transition>
432
 
<transition id="T2">
433
 
<graphics>
434
 
<position x="540.0" y="420.0"/>
435
 
</graphics>
436
 
<name>
437
 
<value>Choose1</value>
438
 
<graphics>
439
 
<offset x="-5.0" y="35.0"/>
440
 
</graphics>
441
 
</name>
442
 
<orientation>
443
 
<value>0</value>
444
 
</orientation>
445
 
<rate>
446
 
<value>1.0</value>
447
 
</rate>
448
 
<timed>
449
 
<value>false</value>
450
 
</timed>
451
 
<infiniteServer>
452
 
<value>false</value>
453
 
</infiniteServer>
454
 
<priority>
455
 
<value>50</value>
456
 
</priority>
457
 
</transition>
458
 
<transition id="T3">
459
 
<graphics>
460
 
<position x="660.0" y="300.0"/>
461
 
</graphics>
462
 
<name>
463
 
<value>Choose2C</value>
464
 
<graphics>
465
 
<offset x="-5.0" y="35.0"/>
466
 
</graphics>
467
 
</name>
468
 
<orientation>
469
 
<value>0</value>
470
 
</orientation>
471
 
<rate>
472
 
<value>1.0</value>
473
 
</rate>
474
 
<timed>
475
 
<value>false</value>
476
 
</timed>
477
 
<infiniteServer>
478
 
<value>false</value>
479
 
</infiniteServer>
480
 
<priority>
481
 
<value>50</value>
482
 
</priority>
483
 
</transition>
484
 
<transition id="T4">
485
 
<graphics>
486
 
<position x="810.0" y="420.0"/>
487
 
</graphics>
488
 
<name>
489
 
<value>Choose3</value>
490
 
<graphics>
491
 
<offset x="-5.0" y="35.0"/>
492
 
</graphics>
493
 
</name>
494
 
<orientation>
495
 
<value>0</value>
496
 
</orientation>
497
 
<rate>
498
 
<value>1.0</value>
499
 
</rate>
500
 
<timed>
501
 
<value>false</value>
502
 
</timed>
503
 
<infiniteServer>
504
 
<value>false</value>
505
 
</infiniteServer>
506
 
<priority>
507
 
<value>50</value>
508
 
</priority>
509
 
</transition>
510
 
<transition id="T5">
511
 
<graphics>
512
 
<position x="270.0" y="420.0"/>
513
 
</graphics>
514
 
<name>
515
 
<value>Exit3</value>
516
 
<graphics>
517
 
<offset x="-5.0" y="35.0"/>
518
 
</graphics>
519
 
</name>
520
 
<orientation>
521
 
<value>0</value>
522
 
</orientation>
523
 
<rate>
524
 
<value>1.0</value>
525
 
</rate>
526
 
<timed>
527
 
<value>false</value>
528
 
</timed>
529
 
<infiniteServer>
530
 
<value>false</value>
531
 
</infiniteServer>
532
 
<priority>
533
 
<value>50</value>
534
 
</priority>
535
 
</transition>
536
 
<transition id="T7">
537
 
<graphics>
538
 
<position x="390.0" y="420.0"/>
539
 
</graphics>
540
 
<name>
541
 
<value>Exit1</value>
542
 
<graphics>
543
 
<offset x="-5.0" y="35.0"/>
544
 
</graphics>
545
 
</name>
546
 
<orientation>
547
 
<value>0</value>
548
 
</orientation>
549
 
<rate>
550
 
<value>1.0</value>
551
 
</rate>
552
 
<timed>
553
 
<value>false</value>
554
 
</timed>
555
 
<infiniteServer>
556
 
<value>false</value>
557
 
</infiniteServer>
558
 
<priority>
559
 
<value>50</value>
560
 
</priority>
561
 
</transition>
562
 
<transition id="T8">
563
 
<graphics>
564
 
<position x="600.0" y="570.0"/>
565
 
</graphics>
566
 
<name>
567
 
<value>Enter</value>
568
 
<graphics>
569
 
<offset x="-5.0" y="35.0"/>
570
 
</graphics>
571
 
</name>
572
 
<orientation>
573
 
<value>0</value>
574
 
</orientation>
575
 
<rate>
576
 
<value>1.0</value>
577
 
</rate>
578
 
<timed>
579
 
<value>false</value>
580
 
</timed>
581
 
<infiniteServer>
582
 
<value>false</value>
583
 
</infiniteServer>
584
 
<priority>
585
 
<value>50</value>
586
 
</priority>
587
 
</transition>
588
 
<transition id="T9">
589
 
<graphics>
590
 
<position x="660.0" y="90.0"/>
591
 
</graphics>
592
 
<name>
593
 
<value>Choose2A</value>
594
 
<graphics>
595
 
<offset x="-5.0" y="35.0"/>
596
 
</graphics>
597
 
</name>
598
 
<orientation>
599
 
<value>0</value>
600
 
</orientation>
601
 
<rate>
602
 
<value>1.0</value>
603
 
</rate>
604
 
<timed>
605
 
<value>false</value>
606
 
</timed>
607
 
<infiniteServer>
608
 
<value>false</value>
609
 
</infiniteServer>
610
 
<priority>
611
 
<value>50</value>
612
 
</priority>
613
 
</transition>
614
 
<arc id="P0 to T9" source="P0" target="T9">
615
 
<graphics/>
616
 
<inscription>
617
 
<value>[0,inf)</value>
618
 
<graphics/>
619
 
</inscription>
620
 
<tagged>
621
 
<value>false</value>
622
 
</tagged>
623
 
<arcpath id="000" x="171" y="120" curvePoint="false"/>
624
 
<arcpath id="001" x="215" y="65" curvePoint="false"/>
625
 
<arcpath id="002" x="665" y="65" curvePoint="false"/>
626
 
<arcpath id="003" x="672" y="87" curvePoint="false"/>
627
 
<type value="timed"/>
628
 
</arc>
629
 
<arc id="P1 to T0" source="P1" target="T0">
630
 
<graphics/>
631
 
<inscription>
632
 
<value>[0,inf)</value>
633
 
<graphics/>
634
 
</inscription>
635
 
<tagged>
636
 
<value>false</value>
637
 
</tagged>
638
 
<arcpath id="000" x="296" y="132" curvePoint="false"/>
639
 
<arcpath id="001" x="396" y="132" curvePoint="false"/>
640
 
<type value="timed"/>
641
 
</arc>
642
 
<arc id="P2 to T10" source="P2" target="T10">
643
 
<graphics/>
644
 
<inscription>
645
 
<value>[0,2]</value>
646
 
<graphics/>
647
 
</inscription>
648
 
<tagged>
649
 
<value>false</value>
650
 
</tagged>
651
 
<arcpath id="000" x="565" y="139" curvePoint="false"/>
652
 
<arcpath id="001" x="666" y="192" curvePoint="false"/>
653
 
<type value="timed"/>
654
 
</arc>
655
 
<arc id="P2 to T11" source="P2" target="T11">
656
 
<graphics/>
657
 
<inscription>
658
 
<value>[0,2]</value>
659
 
<graphics/>
660
 
</inscription>
661
 
<tagged>
662
 
<value>false</value>
663
 
</tagged>
664
 
<arcpath id="000" x="557" y="145" curvePoint="false"/>
665
 
<arcpath id="001" x="672" y="417" curvePoint="false"/>
666
 
<type value="timed"/>
667
 
</arc>
668
 
<arc id="P2 to T2" source="P2" target="T2">
669
 
<graphics/>
670
 
<inscription>
671
 
<value>[0,2]</value>
672
 
<graphics/>
673
 
</inscription>
674
 
<tagged>
675
 
<value>false</value>
676
 
</tagged>
677
 
<arcpath id="000" x="552" y="146" curvePoint="false"/>
678
 
<arcpath id="001" x="552" y="417" curvePoint="false"/>
679
 
<type value="timed"/>
680
 
</arc>
681
 
<arc id="P2 to T3" source="P2" target="T3">
682
 
<graphics/>
683
 
<inscription>
684
 
<value>[0,2]</value>
685
 
<graphics/>
686
 
</inscription>
687
 
<tagged>
688
 
<value>false</value>
689
 
</tagged>
690
 
<arcpath id="000" x="560" y="144" curvePoint="false"/>
691
 
<arcpath id="001" x="667" y="307" curvePoint="false"/>
692
 
<type value="timed"/>
693
 
</arc>
694
 
<arc id="P2 to T9" source="P2" target="T9">
695
 
<graphics/>
696
 
<inscription>
697
 
<value>[0,2]</value>
698
 
<graphics/>
699
 
</inscription>
700
 
<tagged>
701
 
<value>false</value>
702
 
</tagged>
703
 
<arcpath id="000" x="566" y="128" curvePoint="false"/>
704
 
<arcpath id="001" x="666" y="107" curvePoint="false"/>
705
 
<type value="timed"/>
706
 
</arc>
707
 
<arc id="P3 to T10" source="P3" target="T10">
708
 
<graphics/>
709
 
<inscription>
710
 
<value>[0,inf)</value>
711
 
<graphics/>
712
 
</inscription>
713
 
<tagged>
714
 
<value>false</value>
715
 
</tagged>
716
 
<arcpath id="000" x="808" y="137" curvePoint="false"/>
717
 
<arcpath id="001" x="676" y="192" curvePoint="false"/>
718
 
<type value="timed"/>
719
 
</arc>
720
 
<arc id="P3 to T12" source="P3" target="T12">
721
 
<graphics/>
722
 
<inscription>
723
 
<value>[0,inf)</value>
724
 
<graphics/>
725
 
</inscription>
726
 
<tagged>
727
 
<value>false</value>
728
 
</tagged>
729
 
<arcpath id="000" x="836" y="131" curvePoint="false"/>
730
 
<arcpath id="001" x="965" y="125" curvePoint="false"/>
731
 
<arcpath id="002" x="965" y="755" curvePoint="false"/>
732
 
<arcpath id="003" x="425" y="755" curvePoint="false"/>
733
 
<arcpath id="004" x="402" y="687" curvePoint="false"/>
734
 
<type value="timed"/>
735
 
</arc>
736
 
<arc id="P3 to T4" source="P3" target="T4">
737
 
<graphics/>
738
 
<inscription>
739
 
<value>[0,2]</value>
740
 
<graphics/>
741
 
</inscription>
742
 
<tagged>
743
 
<value>false</value>
744
 
</tagged>
745
 
<arcpath id="000" x="822" y="146" curvePoint="false"/>
746
 
<arcpath id="001" x="822" y="417" curvePoint="false"/>
747
 
<type value="timed"/>
748
 
</arc>
749
 
<arc id="P4 to T0" source="P4" target="T0">
750
 
<graphics/>
751
 
<inscription>
752
 
<value>[0,inf)</value>
753
 
<graphics/>
754
 
</inscription>
755
 
<tagged>
756
 
<value>false</value>
757
 
</tagged>
758
 
<arcpath id="000" x="394" y="268" curvePoint="false"/>
759
 
<arcpath id="001" x="365" y="215" curvePoint="false"/>
760
 
<arcpath id="002" x="402" y="147" curvePoint="false"/>
761
 
<type value="timed"/>
762
 
</arc>
763
 
<arc id="P4 to T15" source="P4" target="T15">
764
 
<graphics/>
765
 
<inscription>
766
 
<value>[0,inf)</value>
767
 
<graphics/>
768
 
</inscription>
769
 
<tagged>
770
 
<value>false</value>
771
 
</tagged>
772
 
<arcpath id="000" x="416" y="285" curvePoint="false"/>
773
 
<arcpath id="001" x="858" y="399" curvePoint="false"/>
774
 
<arcpath id="002" x="1041" y="377" curvePoint="false"/>
775
 
<type value="timed"/>
776
 
</arc>
777
 
<arc id="P4 to T16" source="P4" target="T16">
778
 
<graphics/>
779
 
<inscription>
780
 
<value>[0,inf)</value>
781
 
<graphics/>
782
 
</inscription>
783
 
<tagged>
784
 
<value>false</value>
785
 
</tagged>
786
 
<arcpath id="000" x="387" y="281" curvePoint="false"/>
787
 
<arcpath id="001" x="47" y="262" curvePoint="false"/>
788
 
<type value="timed"/>
789
 
</arc>
790
 
<arc id="P4 to T2" source="P4" target="T2">
791
 
<graphics/>
792
 
<inscription>
793
 
<value>[0,inf)</value>
794
 
<graphics/>
795
 
</inscription>
796
 
<tagged>
797
 
<value>false</value>
798
 
</tagged>
799
 
<arcpath id="000" x="416" y="286" curvePoint="false"/>
800
 
<arcpath id="001" x="485" y="305" curvePoint="false"/>
801
 
<arcpath id="002" x="552" y="417" curvePoint="false"/>
802
 
<type value="timed"/>
803
 
</arc>
804
 
<arc id="P4 to T5" source="P4" target="T5">
805
 
<graphics/>
806
 
<inscription>
807
 
<value>[0,inf)</value>
808
 
<graphics/>
809
 
</inscription>
810
 
<tagged>
811
 
<value>false</value>
812
 
</tagged>
813
 
<arcpath id="000" x="392" y="293" curvePoint="false"/>
814
 
<arcpath id="001" x="286" y="432" curvePoint="false"/>
815
 
<type value="timed"/>
816
 
</arc>
817
 
<arc id="P5 to T16" source="P5" target="T16">
818
 
<graphics/>
819
 
<inscription>
820
 
<value>[0,inf)</value>
821
 
<graphics/>
822
 
</inscription>
823
 
<tagged>
824
 
<value>false</value>
825
 
</tagged>
826
 
<arcpath id="000" x="149" y="423" curvePoint="false"/>
827
 
<arcpath id="001" x="75" y="375" curvePoint="false"/>
828
 
<arcpath id="002" x="42" y="282" curvePoint="false"/>
829
 
<type value="timed"/>
830
 
</arc>
831
 
<arc id="P6 to T12" source="P6" target="T12">
832
 
<graphics/>
833
 
<inscription>
834
 
<value>[0,inf)</value>
835
 
<graphics/>
836
 
</inscription>
837
 
<tagged>
838
 
<value>false</value>
839
 
</tagged>
840
 
<arcpath id="000" x="293" y="591" curvePoint="false"/>
841
 
<arcpath id="001" x="397" y="667" curvePoint="false"/>
842
 
<type value="timed"/>
843
 
</arc>
844
 
<arc id="P6 to T13" source="P6" target="T13">
845
 
<graphics/>
846
 
<inscription>
847
 
<value>[0,inf)</value>
848
 
<graphics/>
849
 
</inscription>
850
 
<tagged>
851
 
<value>false</value>
852
 
</tagged>
853
 
<arcpath id="000" x="295" y="588" curvePoint="false"/>
854
 
<arcpath id="001" x="457" y="667" curvePoint="false"/>
855
 
<type value="timed"/>
856
 
</arc>
857
 
<arc id="P6 to T14" source="P6" target="T14">
858
 
<graphics/>
859
 
<inscription>
860
 
<value>[0,inf)</value>
861
 
<graphics/>
862
 
</inscription>
863
 
<tagged>
864
 
<value>false</value>
865
 
</tagged>
866
 
<arcpath id="000" x="295" y="587" curvePoint="false"/>
867
 
<arcpath id="001" x="516" y="673" curvePoint="false"/>
868
 
<type value="timed"/>
869
 
</arc>
870
 
<arc id="P6 to T5" source="P6" target="T5">
871
 
<graphics/>
872
 
<inscription>
873
 
<value>[0,inf)</value>
874
 
<graphics/>
875
 
</inscription>
876
 
<tagged>
877
 
<value>false</value>
878
 
</tagged>
879
 
<arcpath id="000" x="282" y="567" curvePoint="false"/>
880
 
<arcpath id="001" x="282" y="447" curvePoint="false"/>
881
 
<type value="timed"/>
882
 
</arc>
883
 
<arc id="P7 to T11" source="P7" target="T11">
884
 
<graphics/>
885
 
<inscription>
886
 
<value>[0,inf)</value>
887
 
<graphics/>
888
 
</inscription>
889
 
<tagged>
890
 
<value>false</value>
891
 
</tagged>
892
 
<arcpath id="000" x="415" y="574" curvePoint="false"/>
893
 
<arcpath id="001" x="666" y="432" curvePoint="false"/>
894
 
<type value="timed"/>
895
 
</arc>
896
 
<arc id="P7 to T14" source="P7" target="T14">
897
 
<graphics/>
898
 
<inscription>
899
 
<value>[0,inf)</value>
900
 
<graphics/>
901
 
</inscription>
902
 
<tagged>
903
 
<value>false</value>
904
 
</tagged>
905
 
<arcpath id="000" x="414" y="590" curvePoint="false"/>
906
 
<arcpath id="001" x="517" y="666" curvePoint="false"/>
907
 
<type value="timed"/>
908
 
</arc>
909
 
<arc id="P7 to T7" source="P7" target="T7">
910
 
<graphics/>
911
 
<inscription>
912
 
<value>[0,inf)</value>
913
 
<graphics/>
914
 
</inscription>
915
 
<tagged>
916
 
<value>false</value>
917
 
</tagged>
918
 
<arcpath id="000" x="402" y="567" curvePoint="false"/>
919
 
<arcpath id="001" x="402" y="447" curvePoint="false"/>
920
 
<type value="timed"/>
921
 
</arc>
922
 
<arc id="P8 to T13" source="P8" target="T13">
923
 
<graphics/>
924
 
<inscription>
925
 
<value>[0,inf)</value>
926
 
<graphics/>
927
 
</inscription>
928
 
<tagged>
929
 
<value>false</value>
930
 
</tagged>
931
 
<arcpath id="000" x="821" y="596" curvePoint="false"/>
932
 
<arcpath id="001" x="815" y="725" curvePoint="false"/>
933
 
<arcpath id="002" x="485" y="725" curvePoint="false"/>
934
 
<arcpath id="003" x="462" y="687" curvePoint="false"/>
935
 
<type value="timed"/>
936
 
</arc>
937
 
<arc id="P8 to T15" source="P8" target="T15">
938
 
<graphics/>
939
 
<inscription>
940
 
<value>[0,inf)</value>
941
 
<graphics/>
942
 
</inscription>
943
 
<tagged>
944
 
<value>false</value>
945
 
</tagged>
946
 
<arcpath id="000" x="836" y="578" curvePoint="false"/>
947
 
<arcpath id="001" x="1035" y="525" curvePoint="false"/>
948
 
<arcpath id="002" x="1047" y="387" curvePoint="false"/>
949
 
<type value="timed"/>
950
 
</arc>
951
 
<arc id="P8 to T3" source="P8" target="T3">
952
 
<graphics/>
953
 
<inscription>
954
 
<value>[0,inf)</value>
955
 
<graphics/>
956
 
</inscription>
957
 
<tagged>
958
 
<value>false</value>
959
 
</tagged>
960
 
<arcpath id="000" x="827" y="568" curvePoint="false"/>
961
 
<arcpath id="001" x="920" y="350" curvePoint="false"/>
962
 
<arcpath id="002" x="676" y="312" curvePoint="false"/>
963
 
<type value="timed"/>
964
 
</arc>
965
 
<arc id="P8 to T8" source="P8" target="T8">
966
 
<graphics/>
967
 
<inscription>
968
 
<value>(2,inf)</value>
969
 
<graphics/>
970
 
</inscription>
971
 
<tagged>
972
 
<value>false</value>
973
 
</tagged>
974
 
<arcpath id="000" x="807" y="582" curvePoint="false"/>
975
 
<arcpath id="001" x="616" y="582" curvePoint="false"/>
976
 
<type value="timed"/>
977
 
</arc>
978
 
<arc id="T0 to P2" source="T0" target="P2">
979
 
<graphics/>
980
 
<inscription>
981
 
<value>1</value>
982
 
<graphics/>
983
 
</inscription>
984
 
<tagged>
985
 
<value>false</value>
986
 
</tagged>
987
 
<arcpath id="000" x="407" y="127" curvePoint="false"/>
988
 
<arcpath id="001" x="537" y="132" curvePoint="false"/>
989
 
<type value="normal"/>
990
 
</arc>
991
 
<arc id="T0 to P4" source="T0" target="P4">
992
 
<graphics/>
993
 
<inscription>
994
 
<value>1</value>
995
 
<graphics/>
996
 
</inscription>
997
 
<tagged>
998
 
<value>false</value>
999
 
</tagged>
1000
 
<arcpath id="000" x="406" y="137" curvePoint="false"/>
1001
 
<arcpath id="001" x="455" y="215" curvePoint="false"/>
1002
 
<arcpath id="002" x="411" y="270" curvePoint="false"/>
1003
 
<type value="normal"/>
1004
 
</arc>
1005
 
<arc id="T10 to P2" source="T10" target="P2">
1006
 
<graphics/>
1007
 
<inscription>
1008
 
<value>1</value>
1009
 
<graphics/>
1010
 
</inscription>
1011
 
<tagged>
1012
 
<value>false</value>
1013
 
</tagged>
1014
 
<arcpath id="000" x="672" y="177" curvePoint="false"/>
1015
 
<arcpath id="001" x="665" y="155" curvePoint="false"/>
1016
 
<arcpath id="002" x="566" y="134" curvePoint="false"/>
1017
 
<type value="normal"/>
1018
 
</arc>
1019
 
<arc id="T10 to P8" source="T10" target="P8">
1020
 
<graphics/>
1021
 
<inscription>
1022
 
<value>1</value>
1023
 
<graphics/>
1024
 
</inscription>
1025
 
<tagged>
1026
 
<value>false</value>
1027
 
</tagged>
1028
 
<arcpath id="000" x="672" y="207" curvePoint="false"/>
1029
 
<arcpath id="001" x="816" y="568" curvePoint="false"/>
1030
 
<type value="normal"/>
1031
 
</arc>
1032
 
<arc id="T11 to P6" source="T11" target="P6">
1033
 
<graphics/>
1034
 
<inscription>
1035
 
<value>1</value>
1036
 
<graphics/>
1037
 
</inscription>
1038
 
<tagged>
1039
 
<value>false</value>
1040
 
</tagged>
1041
 
<arcpath id="000" x="672" y="447" curvePoint="false"/>
1042
 
<arcpath id="001" x="665" y="545" curvePoint="false"/>
1043
 
<arcpath id="002" x="305" y="545" curvePoint="false"/>
1044
 
<arcpath id="003" x="289" y="569" curvePoint="false"/>
1045
 
<type value="normal"/>
1046
 
</arc>
1047
 
<arc id="T11 to P8" source="T11" target="P8">
1048
 
<graphics/>
1049
 
<inscription>
1050
 
<value>1</value>
1051
 
<graphics/>
1052
 
</inscription>
1053
 
<tagged>
1054
 
<value>false</value>
1055
 
</tagged>
1056
 
<arcpath id="000" x="676" y="432" curvePoint="false"/>
1057
 
<arcpath id="001" x="811" y="571" curvePoint="false"/>
1058
 
<type value="normal"/>
1059
 
</arc>
1060
 
<arc id="T12 to P1" source="T12" target="P1">
1061
 
<graphics/>
1062
 
<inscription>
1063
 
<value>1</value>
1064
 
<graphics/>
1065
 
</inscription>
1066
 
<tagged>
1067
 
<value>false</value>
1068
 
</tagged>
1069
 
<arcpath id="000" x="402" y="657" curvePoint="false"/>
1070
 
<arcpath id="001" x="285" y="146" curvePoint="false"/>
1071
 
<type value="normal"/>
1072
 
</arc>
1073
 
<arc id="T12 to P2" source="T12" target="P2">
1074
 
<graphics/>
1075
 
<inscription>
1076
 
<value>1</value>
1077
 
<graphics/>
1078
 
</inscription>
1079
 
<tagged>
1080
 
<value>false</value>
1081
 
</tagged>
1082
 
<arcpath id="000" x="396" y="677" curvePoint="false"/>
1083
 
<arcpath id="001" x="170" y="620" curvePoint="false"/>
1084
 
<arcpath id="002" x="95" y="245" curvePoint="false"/>
1085
 
<arcpath id="003" x="537" y="135" curvePoint="false"/>
1086
 
<type value="normal"/>
1087
 
</arc>
1088
 
<arc id="T12 to P4" source="T12" target="P4">
1089
 
<graphics/>
1090
 
<inscription>
1091
 
<value>1</value>
1092
 
<graphics/>
1093
 
</inscription>
1094
 
<tagged>
1095
 
<value>false</value>
1096
 
</tagged>
1097
 
<arcpath id="000" x="402" y="657" curvePoint="false"/>
1098
 
<arcpath id="001" x="485" y="485" curvePoint="false"/>
1099
 
<arcpath id="002" x="407" y="295" curvePoint="false"/>
1100
 
<type value="normal"/>
1101
 
</arc>
1102
 
<arc id="T13 to P1" source="T13" target="P1">
1103
 
<graphics/>
1104
 
<inscription>
1105
 
<value>1</value>
1106
 
<graphics/>
1107
 
</inscription>
1108
 
<tagged>
1109
 
<value>false</value>
1110
 
</tagged>
1111
 
<arcpath id="000" x="462" y="657" curvePoint="false"/>
1112
 
<arcpath id="001" x="286" y="146" curvePoint="false"/>
1113
 
<type value="normal"/>
1114
 
</arc>
1115
 
<arc id="T13 to P4" source="T13" target="P4">
1116
 
<graphics/>
1117
 
<inscription>
1118
 
<value>1</value>
1119
 
<graphics/>
1120
 
</inscription>
1121
 
<tagged>
1122
 
<value>false</value>
1123
 
</tagged>
1124
 
<arcpath id="000" x="462" y="657" curvePoint="false"/>
1125
 
<arcpath id="001" x="515" y="485" curvePoint="false"/>
1126
 
<arcpath id="002" x="409" y="295" curvePoint="false"/>
1127
 
<type value="normal"/>
1128
 
</arc>
1129
 
<arc id="T13 to P5" source="T13" target="P5">
1130
 
<graphics/>
1131
 
<inscription>
1132
 
<value>1</value>
1133
 
<graphics/>
1134
 
</inscription>
1135
 
<tagged>
1136
 
<value>false</value>
1137
 
</tagged>
1138
 
<arcpath id="000" x="456" y="677" curvePoint="false"/>
1139
 
<arcpath id="001" x="200" y="590" curvePoint="false"/>
1140
 
<arcpath id="002" x="165" y="446" curvePoint="false"/>
1141
 
<type value="normal"/>
1142
 
</arc>
1143
 
<arc id="T14 to P1" source="T14" target="P1">
1144
 
<graphics/>
1145
 
<inscription>
1146
 
<value>1</value>
1147
 
<graphics/>
1148
 
</inscription>
1149
 
<tagged>
1150
 
<value>false</value>
1151
 
</tagged>
1152
 
<arcpath id="000" x="522" y="657" curvePoint="false"/>
1153
 
<arcpath id="001" x="288" y="145" curvePoint="false"/>
1154
 
<type value="normal"/>
1155
 
</arc>
1156
 
<arc id="T14 to P4" source="T14" target="P4">
1157
 
<graphics/>
1158
 
<inscription>
1159
 
<value>1</value>
1160
 
<graphics/>
1161
 
</inscription>
1162
 
<tagged>
1163
 
<value>false</value>
1164
 
</tagged>
1165
 
<arcpath id="000" x="522" y="657" curvePoint="false"/>
1166
 
<arcpath id="001" x="545" y="485" curvePoint="false"/>
1167
 
<arcpath id="002" x="410" y="294" curvePoint="false"/>
1168
 
<type value="normal"/>
1169
 
</arc>
1170
 
<arc id="T14 to P6" source="T14" target="P6">
1171
 
<graphics/>
1172
 
<inscription>
1173
 
<value>1</value>
1174
 
<graphics/>
1175
 
</inscription>
1176
 
<tagged>
1177
 
<value>false</value>
1178
 
</tagged>
1179
 
<arcpath id="000" x="516" y="680" curvePoint="false"/>
1180
 
<arcpath id="001" x="295" y="587" curvePoint="false"/>
1181
 
<type value="normal"/>
1182
 
</arc>
1183
 
<arc id="T15 to P3" source="T15" target="P3">
1184
 
<graphics/>
1185
 
<inscription>
1186
 
<value>1</value>
1187
 
<graphics/>
1188
 
</inscription>
1189
 
<tagged>
1190
 
<value>false</value>
1191
 
</tagged>
1192
 
<arcpath id="000" x="1047" y="357" curvePoint="false"/>
1193
 
<arcpath id="001" x="1049" y="59" curvePoint="false"/>
1194
 
<arcpath id="002" x="824" y="74" curvePoint="false"/>
1195
 
<arcpath id="003" x="822" y="117" curvePoint="false"/>
1196
 
<type value="normal"/>
1197
 
</arc>
1198
 
<arc id="T15 to P4" source="T15" target="P4">
1199
 
<graphics/>
1200
 
<inscription>
1201
 
<value>1</value>
1202
 
<graphics/>
1203
 
</inscription>
1204
 
<tagged>
1205
 
<value>false</value>
1206
 
</tagged>
1207
 
<arcpath id="000" x="1042" y="367" curvePoint="false"/>
1208
 
<arcpath id="001" x="900" y="300" curvePoint="false"/>
1209
 
<arcpath id="002" x="416" y="282" curvePoint="false"/>
1210
 
<type value="normal"/>
1211
 
</arc>
1212
 
<arc id="T16 to P2" source="T16" target="P2">
1213
 
<graphics/>
1214
 
<inscription>
1215
 
<value>1</value>
1216
 
<graphics/>
1217
 
</inscription>
1218
 
<tagged>
1219
 
<value>false</value>
1220
 
</tagged>
1221
 
<arcpath id="000" x="42" y="252" curvePoint="false"/>
1222
 
<arcpath id="001" x="75" y="60" curvePoint="false"/>
1223
 
<arcpath id="002" x="570" y="30" curvePoint="false"/>
1224
 
<arcpath id="003" x="554" y="117" curvePoint="false"/>
1225
 
<type value="normal"/>
1226
 
</arc>
1227
 
<arc id="T16 to P4" source="T16" target="P4">
1228
 
<graphics/>
1229
 
<inscription>
1230
 
<value>1</value>
1231
 
<graphics/>
1232
 
</inscription>
1233
 
<tagged>
1234
 
<value>false</value>
1235
 
</tagged>
1236
 
<arcpath id="000" x="46" y="272" curvePoint="false"/>
1237
 
<arcpath id="001" x="387" y="281" curvePoint="false"/>
1238
 
<type value="normal"/>
1239
 
</arc>
1240
 
<arc id="T2 to P8" source="T2" target="P8">
1241
 
<graphics/>
1242
 
<inscription>
1243
 
<value>1</value>
1244
 
<graphics/>
1245
 
</inscription>
1246
 
<tagged>
1247
 
<value>false</value>
1248
 
</tagged>
1249
 
<arcpath id="000" x="556" y="432" curvePoint="false"/>
1250
 
<arcpath id="001" x="808" y="574" curvePoint="false"/>
1251
 
<type value="normal"/>
1252
 
</arc>
1253
 
<arc id="T3 to P5" source="T3" target="P5">
1254
 
<graphics/>
1255
 
<inscription>
1256
 
<value>1</value>
1257
 
<graphics/>
1258
 
</inscription>
1259
 
<tagged>
1260
 
<value>false</value>
1261
 
</tagged>
1262
 
<arcpath id="000" x="666" y="317" curvePoint="false"/>
1263
 
<arcpath id="001" x="215" y="365" curvePoint="false"/>
1264
 
<arcpath id="002" x="171" y="420" curvePoint="false"/>
1265
 
<type value="normal"/>
1266
 
</arc>
1267
 
<arc id="T3 to P8" source="T3" target="P8">
1268
 
<graphics/>
1269
 
<inscription>
1270
 
<value>1</value>
1271
 
<graphics/>
1272
 
</inscription>
1273
 
<tagged>
1274
 
<value>false</value>
1275
 
</tagged>
1276
 
<arcpath id="000" x="672" y="327" curvePoint="false"/>
1277
 
<arcpath id="001" x="814" y="569" curvePoint="false"/>
1278
 
<type value="normal"/>
1279
 
</arc>
1280
 
<arc id="T4 to P8" source="T4" target="P8">
1281
 
<graphics/>
1282
 
<inscription>
1283
 
<value>1</value>
1284
 
<graphics/>
1285
 
</inscription>
1286
 
<tagged>
1287
 
<value>false</value>
1288
 
</tagged>
1289
 
<arcpath id="000" x="822" y="447" curvePoint="false"/>
1290
 
<arcpath id="001" x="822" y="567" curvePoint="false"/>
1291
 
<type value="normal"/>
1292
 
</arc>
1293
 
<arc id="T5 to P1" source="T5" target="P1">
1294
 
<graphics/>
1295
 
<inscription>
1296
 
<value>1</value>
1297
 
<graphics/>
1298
 
</inscription>
1299
 
<tagged>
1300
 
<value>false</value>
1301
 
</tagged>
1302
 
<arcpath id="000" x="282" y="417" curvePoint="false"/>
1303
 
<arcpath id="001" x="282" y="146" curvePoint="false"/>
1304
 
<type value="normal"/>
1305
 
</arc>
1306
 
<arc id="T5 to P4" source="T5" target="P4">
1307
 
<graphics/>
1308
 
<inscription>
1309
 
<value>1</value>
1310
 
<graphics/>
1311
 
</inscription>
1312
 
<tagged>
1313
 
<value>false</value>
1314
 
</tagged>
1315
 
<arcpath id="000" x="282" y="417" curvePoint="false"/>
1316
 
<arcpath id="001" x="335" y="275" curvePoint="false"/>
1317
 
<arcpath id="002" x="387" y="280" curvePoint="false"/>
1318
 
<type value="normal"/>
1319
 
</arc>
1320
 
<arc id="T7 to P1" source="T7" target="P1">
1321
 
<graphics/>
1322
 
<inscription>
1323
 
<value>1</value>
1324
 
<graphics/>
1325
 
</inscription>
1326
 
<tagged>
1327
 
<value>false</value>
1328
 
</tagged>
1329
 
<arcpath id="000" x="402" y="417" curvePoint="false"/>
1330
 
<arcpath id="001" x="287" y="145" curvePoint="false"/>
1331
 
<type value="normal"/>
1332
 
</arc>
1333
 
<arc id="T7 to P4" source="T7" target="P4">
1334
 
<graphics/>
1335
 
<inscription>
1336
 
<value>1</value>
1337
 
<graphics/>
1338
 
</inscription>
1339
 
<tagged>
1340
 
<value>false</value>
1341
 
</tagged>
1342
 
<arcpath id="000" x="402" y="417" curvePoint="false"/>
1343
 
<arcpath id="001" x="402" y="296" curvePoint="false"/>
1344
 
<type value="normal"/>
1345
 
</arc>
1346
 
<arc id="T8 to P7" source="T8" target="P7">
1347
 
<graphics/>
1348
 
<inscription>
1349
 
<value>1</value>
1350
 
<graphics/>
1351
 
</inscription>
1352
 
<tagged>
1353
 
<value>false</value>
1354
 
</tagged>
1355
 
<arcpath id="000" x="606" y="582" curvePoint="false"/>
1356
 
<arcpath id="001" x="416" y="582" curvePoint="false"/>
1357
 
<type value="normal"/>
1358
 
</arc>
1359
 
<arc id="T9 to P1" source="T9" target="P1">
1360
 
<graphics/>
1361
 
<inscription>
1362
 
<value>1</value>
1363
 
<graphics/>
1364
 
</inscription>
1365
 
<tagged>
1366
 
<value>false</value>
1367
 
</tagged>
1368
 
<arcpath id="000" x="667" y="97" curvePoint="false"/>
1369
 
<arcpath id="001" x="305" y="95" curvePoint="false"/>
1370
 
<arcpath id="002" x="289" y="119" curvePoint="false"/>
1371
 
<type value="normal"/>
1372
 
</arc>
1373
 
<arc id="T9 to P8" source="T9" target="P8">
1374
 
<graphics/>
1375
 
<inscription>
1376
 
<value>1</value>
1377
 
<graphics/>
1378
 
</inscription>
1379
 
<tagged>
1380
 
<value>false</value>
1381
 
</tagged>
1382
 
<arcpath id="000" x="672" y="117" curvePoint="false"/>
1383
 
<arcpath id="001" x="817" y="567" curvePoint="false"/>
1384
 
<type value="normal"/>
1385
 
</arc>
1386
 
<queries name="Mutual Exclusion Violation" traceOption="NONE" searchOption="BFS" hashTableSize="MB_16" extrapolationOption="AUTOMATIC" reductionOption="OPTIMIZEDSTANDARDSYMMETRY">
1387
 
<capacity>
1388
 
<value>0</value>
1389
 
</capacity>
1390
 
<query>
1391
 
<value>E&lt;&gt;( CS &gt;= 2 || CS_ &gt;= 2 || ( CS &gt;= 1 &amp;&amp; CS_ &gt;= 1 ))</value>
1392
 
</query>
1393
 
</queries>
 
15
<place id="P0" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A_" nameOffsetX="-5.0" nameOffsetY="33.0" positionX="150.0" positionY="120.0"/>
 
16
<place id="P1" initialMarking="40" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="120.0"/>
 
17
<place id="P2" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="B" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="120.0"/>
 
18
<place id="P3" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="B_" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="810.0" positionY="120.0"/>
 
19
<place id="P4" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="udf" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="390.0" positionY="270.0"/>
 
20
<place id="P5" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="C" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="150.0" positionY="420.0"/>
 
21
<place id="P6" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="CS" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="570.0"/>
 
22
<place id="P7" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="CS_" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="390.0" positionY="570.0"/>
 
23
<place id="P8" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="C_" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="810.0" positionY="570.0"/>
 
24
<transition angle="0" id="T0" infiniteServer="false" name="Initiate" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="390.0" positionY="120.0" priority="50" timed="true"/>
 
25
<transition angle="0" id="T10" infiniteServer="false" name="Choose2B" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="660.0" positionY="180.0" priority="50" timed="true"/>
 
26
<transition angle="0" id="T11" infiniteServer="false" name="Choose2CS" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="660.0" positionY="420.0" priority="50" timed="true"/>
 
27
<transition angle="0" id="T12" infiniteServer="false" name="Exit2B" nameOffsetX="-3.0" nameOffsetY="35.0" positionX="390.0" positionY="660.0" priority="50" timed="true"/>
 
28
<transition angle="0" id="T13" infiniteServer="false" name="Exit2C" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="450.0" positionY="660.0" priority="50" timed="true"/>
 
29
<transition angle="0" id="T14" infiniteServer="false" name="Exit2CS" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="660.0" priority="50" timed="true"/>
 
30
<transition angle="0" id="T15" infiniteServer="false" name="Fail1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="1035.0" positionY="360.0" priority="1" timed="true"/>
 
31
<transition angle="0" id="T16" infiniteServer="false" name="Fail2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="30.0" positionY="255.0" priority="1" timed="true"/>
 
32
<transition angle="0" id="T2" infiniteServer="false" name="Choose1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="420.0" priority="50" timed="true"/>
 
33
<transition angle="0" id="T3" infiniteServer="false" name="Choose2C" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="660.0" positionY="300.0" priority="50" timed="true"/>
 
34
<transition angle="0" id="T4" infiniteServer="false" name="Choose3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="810.0" positionY="420.0" priority="50" timed="true"/>
 
35
<transition angle="0" id="T5" infiniteServer="false" name="Exit3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="420.0" priority="50" timed="true"/>
 
36
<transition angle="0" id="T7" infiniteServer="false" name="Exit1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="390.0" positionY="420.0" priority="50" timed="true"/>
 
37
<transition angle="0" id="T8" infiniteServer="false" name="Enter" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="600.0" positionY="570.0" priority="50" timed="true"/>
 
38
<transition angle="0" id="T9" infiniteServer="false" name="Choose2A" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="660.0" positionY="90.0" priority="50" timed="true"/>
 
39
<arc id="P0 to T9" inscription="[0,inf)" source="P0" target="T9" type="timed">
 
40
<arcpath arcPointType="false" id="0" xCoord="171" yCoord="120"/>
 
41
<arcpath arcPointType="false" id="1" xCoord="216" yCoord="66"/>
 
42
<arcpath arcPointType="false" id="2" xCoord="666" yCoord="66"/>
 
43
<arcpath arcPointType="false" id="3" xCoord="672" yCoord="87"/>
 
44
</arc>
 
45
<arc id="P1 to T0" inscription="[0,inf)" source="P1" target="T0" type="timed">
 
46
<arcpath arcPointType="false" id="0" xCoord="296" yCoord="132"/>
 
47
<arcpath arcPointType="false" id="1" xCoord="396" yCoord="132"/>
 
48
</arc>
 
49
<arc id="P2 to T10" inscription="[0,2]" source="P2" target="T10" type="timed">
 
50
<arcpath arcPointType="false" id="0" xCoord="565" yCoord="139"/>
 
51
<arcpath arcPointType="false" id="1" xCoord="666" yCoord="192"/>
 
52
</arc>
 
53
<arc id="P2 to T11" inscription="[0,2]" source="P2" target="T11" type="timed">
 
54
<arcpath arcPointType="false" id="0" xCoord="557" yCoord="145"/>
 
55
<arcpath arcPointType="false" id="1" xCoord="672" yCoord="417"/>
 
56
</arc>
 
57
<arc id="P2 to T2" inscription="[0,2]" source="P2" target="T2" type="timed">
 
58
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="146"/>
 
59
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="417"/>
 
60
</arc>
 
61
<arc id="P2 to T3" inscription="[0,2]" source="P2" target="T3" type="timed">
 
62
<arcpath arcPointType="false" id="0" xCoord="560" yCoord="144"/>
 
63
<arcpath arcPointType="false" id="1" xCoord="667" yCoord="307"/>
 
64
</arc>
 
65
<arc id="P2 to T9" inscription="[0,2]" source="P2" target="T9" type="timed">
 
66
<arcpath arcPointType="false" id="0" xCoord="566" yCoord="128"/>
 
67
<arcpath arcPointType="false" id="1" xCoord="666" yCoord="107"/>
 
68
</arc>
 
69
<arc id="P3 to T10" inscription="[0,inf)" source="P3" target="T10" type="timed">
 
70
<arcpath arcPointType="false" id="0" xCoord="808" yCoord="137"/>
 
71
<arcpath arcPointType="false" id="1" xCoord="676" yCoord="192"/>
 
72
</arc>
 
73
<arc id="P3 to T12" inscription="[0,inf)" source="P3" target="T12" type="timed">
 
74
<arcpath arcPointType="false" id="0" xCoord="836" yCoord="131"/>
 
75
<arcpath arcPointType="false" id="1" xCoord="966" yCoord="126"/>
 
76
<arcpath arcPointType="false" id="2" xCoord="966" yCoord="756"/>
 
77
<arcpath arcPointType="false" id="3" xCoord="426" yCoord="756"/>
 
78
<arcpath arcPointType="false" id="4" xCoord="402" yCoord="687"/>
 
79
</arc>
 
80
<arc id="P3 to T4" inscription="[0,2]" source="P3" target="T4" type="timed">
 
81
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="146"/>
 
82
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="417"/>
 
83
</arc>
 
84
<arc id="P4 to T0" inscription="[0,inf)" source="P4" target="T0" type="timed">
 
85
<arcpath arcPointType="false" id="0" xCoord="394" yCoord="268"/>
 
86
<arcpath arcPointType="false" id="1" xCoord="366" yCoord="216"/>
 
87
<arcpath arcPointType="false" id="2" xCoord="402" yCoord="147"/>
 
88
</arc>
 
89
<arc id="P4 to T15" inscription="[0,inf)" source="P4" target="T15" type="timed">
 
90
<arcpath arcPointType="false" id="0" xCoord="416" yCoord="285"/>
 
91
<arcpath arcPointType="false" id="1" xCoord="859" yCoord="400"/>
 
92
<arcpath arcPointType="false" id="2" xCoord="1041" yCoord="377"/>
 
93
</arc>
 
94
<arc id="P4 to T16" inscription="[0,inf)" source="P4" target="T16" type="timed">
 
95
<arcpath arcPointType="false" id="0" xCoord="387" yCoord="281"/>
 
96
<arcpath arcPointType="false" id="1" xCoord="46" yCoord="272"/>
 
97
</arc>
 
98
<arc id="P4 to T2" inscription="[0,inf)" source="P4" target="T2" type="timed">
 
99
<arcpath arcPointType="false" id="0" xCoord="416" yCoord="286"/>
 
100
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="306"/>
 
101
<arcpath arcPointType="false" id="2" xCoord="552" yCoord="417"/>
 
102
</arc>
 
103
<arc id="P4 to T5" inscription="[0,inf)" source="P4" target="T5" type="timed">
 
104
<arcpath arcPointType="false" id="0" xCoord="392" yCoord="293"/>
 
105
<arcpath arcPointType="false" id="1" xCoord="286" yCoord="432"/>
 
106
</arc>
 
107
<arc id="P5 to T16" inscription="[0,inf)" source="P5" target="T16" type="timed">
 
108
<arcpath arcPointType="false" id="0" xCoord="149" yCoord="423"/>
 
109
<arcpath arcPointType="false" id="1" xCoord="76" yCoord="376"/>
 
110
<arcpath arcPointType="false" id="2" xCoord="42" yCoord="282"/>
 
111
</arc>
 
112
<arc id="P6 to T12" inscription="[0,inf)" source="P6" target="T12" type="timed">
 
113
<arcpath arcPointType="false" id="0" xCoord="294" yCoord="590"/>
 
114
<arcpath arcPointType="false" id="1" xCoord="397" yCoord="667"/>
 
115
</arc>
 
116
<arc id="P6 to T13" inscription="[0,inf)" source="P6" target="T13" type="timed">
 
117
<arcpath arcPointType="false" id="0" xCoord="295" yCoord="588"/>
 
118
<arcpath arcPointType="false" id="1" xCoord="457" yCoord="667"/>
 
119
</arc>
 
120
<arc id="P6 to T14" inscription="[0,inf)" source="P6" target="T14" type="timed">
 
121
<arcpath arcPointType="false" id="0" xCoord="295" yCoord="587"/>
 
122
<arcpath arcPointType="false" id="1" xCoord="516" yCoord="680"/>
 
123
</arc>
 
124
<arc id="P6 to T5" inscription="[0,inf)" source="P6" target="T5" type="timed">
 
125
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="567"/>
 
126
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="447"/>
 
127
</arc>
 
128
<arc id="P7 to T11" inscription="[0,inf)" source="P7" target="T11" type="timed">
 
129
<arcpath arcPointType="false" id="0" xCoord="415" yCoord="574"/>
 
130
<arcpath arcPointType="false" id="1" xCoord="666" yCoord="432"/>
 
131
</arc>
 
132
<arc id="P7 to T14" inscription="[0,inf)" source="P7" target="T14" type="timed">
 
133
<arcpath arcPointType="false" id="0" xCoord="414" yCoord="590"/>
 
134
<arcpath arcPointType="false" id="1" xCoord="517" yCoord="666"/>
 
135
</arc>
 
136
<arc id="P7 to T7" inscription="[0,inf)" source="P7" target="T7" type="timed">
 
137
<arcpath arcPointType="false" id="0" xCoord="402" yCoord="567"/>
 
138
<arcpath arcPointType="false" id="1" xCoord="402" yCoord="447"/>
 
139
</arc>
 
140
<arc id="P8 to T13" inscription="[0,inf)" source="P8" target="T13" type="timed">
 
141
<arcpath arcPointType="false" id="0" xCoord="821" yCoord="596"/>
 
142
<arcpath arcPointType="false" id="1" xCoord="816" yCoord="726"/>
 
143
<arcpath arcPointType="false" id="2" xCoord="486" yCoord="726"/>
 
144
<arcpath arcPointType="false" id="3" xCoord="462" yCoord="687"/>
 
145
</arc>
 
146
<arc id="P8 to T15" inscription="[0,inf)" source="P8" target="T15" type="timed">
 
147
<arcpath arcPointType="false" id="0" xCoord="836" yCoord="578"/>
 
148
<arcpath arcPointType="false" id="1" xCoord="1036" yCoord="526"/>
 
149
<arcpath arcPointType="false" id="2" xCoord="1047" yCoord="387"/>
 
150
</arc>
 
151
<arc id="P8 to T3" inscription="[0,inf)" source="P8" target="T3" type="timed">
 
152
<arcpath arcPointType="false" id="0" xCoord="827" yCoord="568"/>
 
153
<arcpath arcPointType="false" id="1" xCoord="921" yCoord="351"/>
 
154
<arcpath arcPointType="false" id="2" xCoord="676" yCoord="312"/>
 
155
</arc>
 
156
<arc id="P8 to T8" inscription="(2,inf)" source="P8" target="T8" type="timed">
 
157
<arcpath arcPointType="false" id="0" xCoord="807" yCoord="582"/>
 
158
<arcpath arcPointType="false" id="1" xCoord="616" yCoord="582"/>
 
159
</arc>
 
160
<arc id="T0 to P2" inscription="1" source="T0" target="P2" type="normal">
 
161
<arcpath arcPointType="false" id="0" xCoord="407" yCoord="127"/>
 
162
<arcpath arcPointType="false" id="1" xCoord="537" yCoord="131"/>
 
163
</arc>
 
164
<arc id="T0 to P4" inscription="1" source="T0" target="P4" type="normal">
 
165
<arcpath arcPointType="false" id="0" xCoord="406" yCoord="137"/>
 
166
<arcpath arcPointType="false" id="1" xCoord="456" yCoord="216"/>
 
167
<arcpath arcPointType="false" id="2" xCoord="411" yCoord="270"/>
 
168
</arc>
 
169
<arc id="T10 to P2" inscription="1" source="T10" target="P2" type="normal">
 
170
<arcpath arcPointType="false" id="0" xCoord="672" yCoord="177"/>
 
171
<arcpath arcPointType="false" id="1" xCoord="666" yCoord="156"/>
 
172
<arcpath arcPointType="false" id="2" xCoord="566" yCoord="135"/>
 
173
</arc>
 
174
<arc id="T10 to P8" inscription="1" source="T10" target="P8" type="normal">
 
175
<arcpath arcPointType="false" id="0" xCoord="672" yCoord="207"/>
 
176
<arcpath arcPointType="false" id="1" xCoord="816" yCoord="568"/>
 
177
</arc>
 
178
<arc id="T11 to P6" inscription="1" source="T11" target="P6" type="normal">
 
179
<arcpath arcPointType="false" id="0" xCoord="672" yCoord="447"/>
 
180
<arcpath arcPointType="false" id="1" xCoord="666" yCoord="546"/>
 
181
<arcpath arcPointType="false" id="2" xCoord="306" yCoord="546"/>
 
182
<arcpath arcPointType="false" id="3" xCoord="290" yCoord="569"/>
 
183
</arc>
 
184
<arc id="T11 to P8" inscription="1" source="T11" target="P8" type="normal">
 
185
<arcpath arcPointType="false" id="0" xCoord="676" yCoord="432"/>
 
186
<arcpath arcPointType="false" id="1" xCoord="811" yCoord="571"/>
 
187
</arc>
 
188
<arc id="T12 to P1" inscription="1" source="T12" target="P1" type="normal">
 
189
<arcpath arcPointType="false" id="0" xCoord="402" yCoord="657"/>
 
190
<arcpath arcPointType="false" id="1" xCoord="285" yCoord="146"/>
 
191
</arc>
 
192
<arc id="T12 to P2" inscription="1" source="T12" target="P2" type="normal">
 
193
<arcpath arcPointType="false" id="0" xCoord="396" yCoord="677"/>
 
194
<arcpath arcPointType="false" id="1" xCoord="171" yCoord="621"/>
 
195
<arcpath arcPointType="false" id="2" xCoord="96" yCoord="246"/>
 
196
<arcpath arcPointType="false" id="3" xCoord="537" yCoord="135"/>
 
197
</arc>
 
198
<arc id="T12 to P4" inscription="1" source="T12" target="P4" type="normal">
 
199
<arcpath arcPointType="false" id="0" xCoord="402" yCoord="657"/>
 
200
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="486"/>
 
201
<arcpath arcPointType="false" id="2" xCoord="407" yCoord="295"/>
 
202
</arc>
 
203
<arc id="T13 to P1" inscription="1" source="T13" target="P1" type="normal">
 
204
<arcpath arcPointType="false" id="0" xCoord="462" yCoord="657"/>
 
205
<arcpath arcPointType="false" id="1" xCoord="286" yCoord="146"/>
 
206
</arc>
 
207
<arc id="T13 to P4" inscription="1" source="T13" target="P4" type="normal">
 
208
<arcpath arcPointType="false" id="0" xCoord="462" yCoord="657"/>
 
209
<arcpath arcPointType="false" id="1" xCoord="516" yCoord="486"/>
 
210
<arcpath arcPointType="false" id="2" xCoord="409" yCoord="295"/>
 
211
</arc>
 
212
<arc id="T13 to P5" inscription="1" source="T13" target="P5" type="normal">
 
213
<arcpath arcPointType="false" id="0" xCoord="456" yCoord="677"/>
 
214
<arcpath arcPointType="false" id="1" xCoord="201" yCoord="591"/>
 
215
<arcpath arcPointType="false" id="2" xCoord="165" yCoord="446"/>
 
216
</arc>
 
217
<arc id="T14 to P1" inscription="1" source="T14" target="P1" type="normal">
 
218
<arcpath arcPointType="false" id="0" xCoord="522" yCoord="657"/>
 
219
<arcpath arcPointType="false" id="1" xCoord="288" yCoord="145"/>
 
220
</arc>
 
221
<arc id="T14 to P4" inscription="1" source="T14" target="P4" type="normal">
 
222
<arcpath arcPointType="false" id="0" xCoord="522" yCoord="657"/>
 
223
<arcpath arcPointType="false" id="1" xCoord="546" yCoord="486"/>
 
224
<arcpath arcPointType="false" id="2" xCoord="410" yCoord="294"/>
 
225
</arc>
 
226
<arc id="T14 to P6" inscription="1" source="T14" target="P6" type="normal">
 
227
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="673"/>
 
228
<arcpath arcPointType="false" id="1" xCoord="295" yCoord="587"/>
 
229
</arc>
 
230
<arc id="T15 to P3" inscription="1" source="T15" target="P3" type="normal">
 
231
<arcpath arcPointType="false" id="0" xCoord="1047" yCoord="357"/>
 
232
<arcpath arcPointType="false" id="1" xCoord="1050" yCoord="60"/>
 
233
<arcpath arcPointType="false" id="2" xCoord="825" yCoord="75"/>
 
234
<arcpath arcPointType="false" id="3" xCoord="822" yCoord="117"/>
 
235
</arc>
 
236
<arc id="T15 to P4" inscription="1" source="T15" target="P4" type="normal">
 
237
<arcpath arcPointType="false" id="0" xCoord="1042" yCoord="367"/>
 
238
<arcpath arcPointType="false" id="1" xCoord="901" yCoord="301"/>
 
239
<arcpath arcPointType="false" id="2" xCoord="416" yCoord="282"/>
 
240
</arc>
 
241
<arc id="T16 to P2" inscription="1" source="T16" target="P2" type="normal">
 
242
<arcpath arcPointType="false" id="0" xCoord="42" yCoord="252"/>
 
243
<arcpath arcPointType="false" id="1" xCoord="76" yCoord="61"/>
 
244
<arcpath arcPointType="false" id="2" xCoord="571" yCoord="31"/>
 
245
<arcpath arcPointType="false" id="3" xCoord="554" yCoord="117"/>
 
246
</arc>
 
247
<arc id="T16 to P4" inscription="1" source="T16" target="P4" type="normal">
 
248
<arcpath arcPointType="false" id="0" xCoord="47" yCoord="262"/>
 
249
<arcpath arcPointType="false" id="1" xCoord="387" yCoord="281"/>
 
250
</arc>
 
251
<arc id="T2 to P8" inscription="1" source="T2" target="P8" type="normal">
 
252
<arcpath arcPointType="false" id="0" xCoord="556" yCoord="432"/>
 
253
<arcpath arcPointType="false" id="1" xCoord="808" yCoord="574"/>
 
254
</arc>
 
255
<arc id="T3 to P5" inscription="1" source="T3" target="P5" type="normal">
 
256
<arcpath arcPointType="false" id="0" xCoord="666" yCoord="317"/>
 
257
<arcpath arcPointType="false" id="1" xCoord="216" yCoord="366"/>
 
258
<arcpath arcPointType="false" id="2" xCoord="171" yCoord="420"/>
 
259
</arc>
 
260
<arc id="T3 to P8" inscription="1" source="T3" target="P8" type="normal">
 
261
<arcpath arcPointType="false" id="0" xCoord="672" yCoord="327"/>
 
262
<arcpath arcPointType="false" id="1" xCoord="814" yCoord="569"/>
 
263
</arc>
 
264
<arc id="T4 to P8" inscription="1" source="T4" target="P8" type="normal">
 
265
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="447"/>
 
266
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="567"/>
 
267
</arc>
 
268
<arc id="T5 to P1" inscription="1" source="T5" target="P1" type="normal">
 
269
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="417"/>
 
270
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="146"/>
 
271
</arc>
 
272
<arc id="T5 to P4" inscription="1" source="T5" target="P4" type="normal">
 
273
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="417"/>
 
274
<arcpath arcPointType="false" id="1" xCoord="336" yCoord="276"/>
 
275
<arcpath arcPointType="false" id="2" xCoord="387" yCoord="280"/>
 
276
</arc>
 
277
<arc id="T7 to P1" inscription="1" source="T7" target="P1" type="normal">
 
278
<arcpath arcPointType="false" id="0" xCoord="402" yCoord="417"/>
 
279
<arcpath arcPointType="false" id="1" xCoord="287" yCoord="145"/>
 
280
</arc>
 
281
<arc id="T7 to P4" inscription="1" source="T7" target="P4" type="normal">
 
282
<arcpath arcPointType="false" id="0" xCoord="402" yCoord="417"/>
 
283
<arcpath arcPointType="false" id="1" xCoord="402" yCoord="296"/>
 
284
</arc>
 
285
<arc id="T8 to P7" inscription="1" source="T8" target="P7" type="normal">
 
286
<arcpath arcPointType="false" id="0" xCoord="606" yCoord="582"/>
 
287
<arcpath arcPointType="false" id="1" xCoord="416" yCoord="582"/>
 
288
</arc>
 
289
<arc id="T9 to P1" inscription="1" source="T9" target="P1" type="normal">
 
290
<arcpath arcPointType="false" id="0" xCoord="667" yCoord="97"/>
 
291
<arcpath arcPointType="false" id="1" xCoord="306" yCoord="96"/>
 
292
<arcpath arcPointType="false" id="2" xCoord="290" yCoord="119"/>
 
293
</arc>
 
294
<arc id="T9 to P8" inscription="1" source="T9" target="P8" type="normal">
 
295
<arcpath arcPointType="false" id="0" xCoord="672" yCoord="117"/>
 
296
<arcpath arcPointType="false" id="1" xCoord="817" yCoord="567"/>
 
297
</arc>
1394
298
</net>
 
299
<query capacity="0" extrapolationOption="AUTOMATIC" hashTableSize="MB_16" name="Mutual Exclusion Violation" query="EF (TAPN1.CS&gt;=2 or TAPN1.CS_&gt;=2 or (TAPN1.CS&gt;=1 and TAPN1.CS_&gt;=1))" reductionOption="OPTIMIZEDSTANDARDSYMMETRY" searchOption="BFS" traceOption="NONE"/>
1395
300
</pnml>