← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/resources/Example nets/workflow.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/workflow.xml
1
 
<?xml version="1.0" encoding="iso-8859-1"?>
2
 
<pnml>
3
 
<net id="Net-One" type="P/T net">
4
 
<labels x="783" y="49" width="267" height="183" border="true">
5
 
<text>This is an example of workflow modelling capabilities of TAPAAL.
 
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="225" positionX="784" positionY="50" width="268">This is an example of workflow modelling capabilities of TAPAAL.
6
5
 
7
6
A number of tasks A0 to A7 with dependeces, task duration and a latest execution deadline are given.
8
7
 
9
 
By clicking on "Check Boundedness" in the query dialog, one will realise that the net with two additional tokens is bounded and verification finds the fastest schedule. The age of the token in the place Deadlines then shows the total time needed for execution of all tasks (15 time units in our case).</text>
10
 
</labels>
11
 
<place id="P0">
12
 
<graphics>
13
 
<position x="0.0" y="75.0"/>
14
 
</graphics>
15
 
<name>
16
 
<value>A0</value>
17
 
<graphics>
18
 
<offset x="25.0" y="-1.0"/>
19
 
</graphics>
20
 
</name>
21
 
<initialMarking>
22
 
<value>1</value>
23
 
<graphics>
24
 
<offset x="0.0" y="0.0"/>
25
 
</graphics>
26
 
</initialMarking>
27
 
<capacity>
28
 
<value>0</value>
29
 
</capacity>
30
 
<invariant>
31
 
<value>&lt;inf</value>
32
 
</invariant>
33
 
</place>
34
 
<place id="P1">
35
 
<graphics>
36
 
<position x="105.0" y="15.0"/>
37
 
</graphics>
38
 
<name>
39
 
<value>A1</value>
40
 
<graphics>
41
 
<offset x="-5.0" y="35.0"/>
42
 
</graphics>
43
 
</name>
44
 
<initialMarking>
45
 
<value>0</value>
46
 
<graphics>
47
 
<offset x="0.0" y="0.0"/>
48
 
</graphics>
49
 
</initialMarking>
50
 
<capacity>
51
 
<value>0</value>
52
 
</capacity>
53
 
<invariant>
54
 
<value>&lt;inf</value>
55
 
</invariant>
56
 
</place>
57
 
<place id="P10">
58
 
<graphics>
59
 
<position x="300.0" y="180.0"/>
60
 
</graphics>
61
 
<name>
62
 
<value>A5</value>
63
 
<graphics>
64
 
<offset x="7.0" y="35.0"/>
65
 
</graphics>
66
 
</name>
67
 
<initialMarking>
68
 
<value>0</value>
69
 
<graphics>
70
 
<offset x="0.0" y="0.0"/>
71
 
</graphics>
72
 
</initialMarking>
73
 
<capacity>
74
 
<value>0</value>
75
 
</capacity>
76
 
<invariant>
77
 
<value>&lt;inf</value>
78
 
</invariant>
79
 
</place>
80
 
<place id="P11">
81
 
<graphics>
82
 
<position x="405.0" y="180.0"/>
83
 
</graphics>
84
 
<name>
85
 
<value>A6</value>
86
 
<graphics>
87
 
<offset x="-5.0" y="35.0"/>
88
 
</graphics>
89
 
</name>
90
 
<initialMarking>
91
 
<value>0</value>
92
 
<graphics>
93
 
<offset x="0.0" y="0.0"/>
94
 
</graphics>
95
 
</initialMarking>
96
 
<capacity>
97
 
<value>0</value>
98
 
</capacity>
99
 
<invariant>
100
 
<value>&lt;inf</value>
101
 
</invariant>
102
 
</place>
103
 
<place id="P12">
104
 
<graphics>
105
 
<position x="510.0" y="180.0"/>
106
 
</graphics>
107
 
<name>
108
 
<value>Sync2_A6</value>
109
 
<graphics>
110
 
<offset x="85.0" y="13.0"/>
111
 
</graphics>
112
 
</name>
113
 
<initialMarking>
114
 
<value>0</value>
115
 
<graphics>
116
 
<offset x="0.0" y="0.0"/>
117
 
</graphics>
118
 
</initialMarking>
119
 
<capacity>
120
 
<value>0</value>
121
 
</capacity>
122
 
<invariant>
123
 
<value>&lt;inf</value>
124
 
</invariant>
125
 
</place>
126
 
<place id="P13">
127
 
<graphics>
128
 
<position x="330.0" y="345.0"/>
129
 
</graphics>
130
 
<name>
131
 
<value>Deadlines</value>
132
 
<graphics>
133
 
<offset x="41.0" y="51.0"/>
134
 
</graphics>
135
 
</name>
136
 
<initialMarking>
137
 
<value>1</value>
138
 
<graphics>
139
 
<offset x="0.0" y="0.0"/>
140
 
</graphics>
141
 
</initialMarking>
142
 
<capacity>
143
 
<value>0</value>
144
 
</capacity>
145
 
<invariant>
146
 
<value>&lt;inf</value>
147
 
</invariant>
148
 
</place>
149
 
<place id="P2">
150
 
<graphics>
151
 
<position x="300.0" y="15.0"/>
152
 
</graphics>
153
 
<name>
154
 
<value>A2</value>
155
 
<graphics>
156
 
<offset x="-5.0" y="35.0"/>
157
 
</graphics>
158
 
</name>
159
 
<initialMarking>
160
 
<value>0</value>
161
 
<graphics>
162
 
<offset x="0.0" y="0.0"/>
163
 
</graphics>
164
 
</initialMarking>
165
 
<capacity>
166
 
<value>0</value>
167
 
</capacity>
168
 
<invariant>
169
 
<value>&lt;inf</value>
170
 
</invariant>
171
 
</place>
172
 
<place id="P3">
173
 
<graphics>
174
 
<position x="480.0" y="15.0"/>
175
 
</graphics>
176
 
<name>
177
 
<value>Sync2_A2</value>
178
 
<graphics>
179
 
<offset x="-5.0" y="35.0"/>
180
 
</graphics>
181
 
</name>
182
 
<initialMarking>
183
 
<value>0</value>
184
 
<graphics>
185
 
<offset x="0.0" y="0.0"/>
186
 
</graphics>
187
 
</initialMarking>
188
 
<capacity>
189
 
<value>0</value>
190
 
</capacity>
191
 
<invariant>
192
 
<value>&lt;inf</value>
193
 
</invariant>
194
 
</place>
195
 
<place id="P4">
196
 
<graphics>
197
 
<position x="570.0" y="90.0"/>
198
 
</graphics>
199
 
<name>
200
 
<value>A7</value>
201
 
<graphics>
202
 
<offset x="-5.0" y="35.0"/>
203
 
</graphics>
204
 
</name>
205
 
<initialMarking>
206
 
<value>0</value>
207
 
<graphics>
208
 
<offset x="0.0" y="0.0"/>
209
 
</graphics>
210
 
</initialMarking>
211
 
<capacity>
212
 
<value>0</value>
213
 
</capacity>
214
 
<invariant>
215
 
<value>&lt;inf</value>
216
 
</invariant>
217
 
</place>
218
 
<place id="P5">
219
 
<graphics>
220
 
<position x="675.0" y="90.0"/>
221
 
</graphics>
222
 
<name>
223
 
<value>Work_Done</value>
224
 
<graphics>
225
 
<offset x="30.0" y="-15.0"/>
226
 
</graphics>
227
 
</name>
228
 
<initialMarking>
229
 
<value>0</value>
230
 
<graphics>
231
 
<offset x="0.0" y="0.0"/>
232
 
</graphics>
233
 
</initialMarking>
234
 
<capacity>
235
 
<value>0</value>
236
 
</capacity>
237
 
<invariant>
238
 
<value>&lt;inf</value>
239
 
</invariant>
240
 
</place>
241
 
<place id="P6">
242
 
<graphics>
243
 
<position x="105.0" y="120.0"/>
244
 
</graphics>
245
 
<name>
246
 
<value>A3</value>
247
 
<graphics>
248
 
<offset x="-5.0" y="35.0"/>
249
 
</graphics>
250
 
</name>
251
 
<initialMarking>
252
 
<value>0</value>
253
 
<graphics>
254
 
<offset x="0.0" y="0.0"/>
255
 
</graphics>
256
 
</initialMarking>
257
 
<capacity>
258
 
<value>0</value>
259
 
</capacity>
260
 
<invariant>
261
 
<value>&lt;inf</value>
262
 
</invariant>
263
 
</place>
264
 
<place id="P7">
265
 
<graphics>
266
 
<position x="105.0" y="225.0"/>
267
 
</graphics>
268
 
<name>
269
 
<value>A4</value>
270
 
<graphics>
271
 
<offset x="-5.0" y="35.0"/>
272
 
</graphics>
273
 
</name>
274
 
<initialMarking>
275
 
<value>0</value>
276
 
<graphics>
277
 
<offset x="0.0" y="0.0"/>
278
 
</graphics>
279
 
</initialMarking>
280
 
<capacity>
281
 
<value>0</value>
282
 
</capacity>
283
 
<invariant>
284
 
<value>&lt;inf</value>
285
 
</invariant>
286
 
</place>
287
 
<place id="P8">
288
 
<graphics>
289
 
<position x="210.0" y="120.0"/>
290
 
</graphics>
291
 
<name>
292
 
<value>Sync1_A3</value>
293
 
<graphics>
294
 
<offset x="81.0" y="-3.0"/>
295
 
</graphics>
296
 
</name>
297
 
<initialMarking>
298
 
<value>0</value>
299
 
<graphics>
300
 
<offset x="0.0" y="0.0"/>
301
 
</graphics>
302
 
</initialMarking>
303
 
<capacity>
304
 
<value>0</value>
305
 
</capacity>
306
 
<invariant>
307
 
<value>&lt;inf</value>
308
 
</invariant>
309
 
</place>
310
 
<place id="P9">
311
 
<graphics>
312
 
<position x="210.0" y="225.0"/>
313
 
</graphics>
314
 
<name>
315
 
<value>Sync1_A4</value>
316
 
<graphics>
317
 
<offset x="33.0" y="46.0"/>
318
 
</graphics>
319
 
</name>
320
 
<initialMarking>
321
 
<value>0</value>
322
 
<graphics>
323
 
<offset x="0.0" y="0.0"/>
324
 
</graphics>
325
 
</initialMarking>
326
 
<capacity>
327
 
<value>0</value>
328
 
</capacity>
329
 
<invariant>
330
 
<value>&lt;inf</value>
331
 
</invariant>
332
 
</place>
333
 
<transition id="T0">
334
 
<graphics>
335
 
<position x="525.0" y="90.0"/>
336
 
</graphics>
337
 
<name>
338
 
<value>Sync2_Done</value>
339
 
<graphics>
340
 
<offset x="-5.0" y="35.0"/>
341
 
</graphics>
342
 
</name>
343
 
<orientation>
344
 
<value>0</value>
345
 
</orientation>
346
 
<rate>
347
 
<value>1.0</value>
348
 
</rate>
349
 
<timed>
350
 
<value>false</value>
351
 
</timed>
352
 
<infiniteServer>
353
 
<value>false</value>
354
 
</infiniteServer>
355
 
<priority>
356
 
<value>1</value>
357
 
</priority>
358
 
</transition>
359
 
<transition id="T1">
360
 
<graphics>
361
 
<position x="390.0" y="15.0"/>
362
 
</graphics>
363
 
<name>
364
 
<value>A2_Done</value>
365
 
<graphics>
366
 
<offset x="-5.0" y="35.0"/>
367
 
</graphics>
368
 
</name>
369
 
<orientation>
370
 
<value>0</value>
371
 
</orientation>
372
 
<rate>
373
 
<value>1.0</value>
374
 
</rate>
375
 
<timed>
376
 
<value>false</value>
377
 
</timed>
378
 
<infiniteServer>
379
 
<value>false</value>
380
 
</infiniteServer>
381
 
<priority>
382
 
<value>1</value>
383
 
</priority>
384
 
</transition>
385
 
<transition id="T2">
386
 
<graphics>
387
 
<position x="195.0" y="15.0"/>
388
 
</graphics>
389
 
<name>
390
 
<value>A1_Done</value>
391
 
<graphics>
392
 
<offset x="25.0" y="41.0"/>
393
 
</graphics>
394
 
</name>
395
 
<orientation>
396
 
<value>0</value>
397
 
</orientation>
398
 
<rate>
399
 
<value>1.0</value>
400
 
</rate>
401
 
<timed>
402
 
<value>false</value>
403
 
</timed>
404
 
<infiniteServer>
405
 
<value>false</value>
406
 
</infiniteServer>
407
 
<priority>
408
 
<value>1</value>
409
 
</priority>
410
 
</transition>
411
 
<transition id="T3">
412
 
<graphics>
413
 
<position x="60.0" y="75.0"/>
414
 
</graphics>
415
 
<name>
416
 
<value>A0_Done</value>
417
 
<graphics>
418
 
<offset x="69.0" y="19.0"/>
419
 
</graphics>
420
 
</name>
421
 
<orientation>
422
 
<value>0</value>
423
 
</orientation>
424
 
<rate>
425
 
<value>1.0</value>
426
 
</rate>
427
 
<timed>
428
 
<value>false</value>
429
 
</timed>
430
 
<infiniteServer>
431
 
<value>false</value>
432
 
</infiniteServer>
433
 
<priority>
434
 
<value>1</value>
435
 
</priority>
436
 
</transition>
437
 
<transition id="T4">
438
 
<graphics>
439
 
<position x="165.0" y="120.0"/>
440
 
</graphics>
441
 
<name>
442
 
<value>A3_Done</value>
443
 
<graphics>
444
 
<offset x="19.0" y="43.0"/>
445
 
</graphics>
446
 
</name>
447
 
<orientation>
448
 
<value>0</value>
449
 
</orientation>
450
 
<rate>
451
 
<value>1.0</value>
452
 
</rate>
453
 
<timed>
454
 
<value>false</value>
455
 
</timed>
456
 
<infiniteServer>
457
 
<value>false</value>
458
 
</infiniteServer>
459
 
<priority>
460
 
<value>1</value>
461
 
</priority>
462
 
</transition>
463
 
<transition id="T5">
464
 
<graphics>
465
 
<position x="165.0" y="225.0"/>
466
 
</graphics>
467
 
<name>
468
 
<value>A4_Done</value>
469
 
<graphics>
470
 
<offset x="17.0" y="46.0"/>
471
 
</graphics>
472
 
</name>
473
 
<orientation>
474
 
<value>0</value>
475
 
</orientation>
476
 
<rate>
477
 
<value>1.0</value>
478
 
</rate>
479
 
<timed>
480
 
<value>false</value>
481
 
</timed>
482
 
<infiniteServer>
483
 
<value>false</value>
484
 
</infiniteServer>
485
 
<priority>
486
 
<value>1</value>
487
 
</priority>
488
 
</transition>
489
 
<transition id="T6">
490
 
<graphics>
491
 
<position x="255.0" y="180.0"/>
492
 
</graphics>
493
 
<name>
494
 
<value>Sync1_Done</value>
495
 
<graphics>
496
 
<offset x="7.0" y="22.0"/>
497
 
</graphics>
498
 
</name>
499
 
<orientation>
500
 
<value>0</value>
501
 
</orientation>
502
 
<rate>
503
 
<value>1.0</value>
504
 
</rate>
505
 
<timed>
506
 
<value>false</value>
507
 
</timed>
508
 
<infiniteServer>
509
 
<value>false</value>
510
 
</infiniteServer>
511
 
<priority>
512
 
<value>1</value>
513
 
</priority>
514
 
</transition>
515
 
<transition id="T7">
516
 
<graphics>
517
 
<position x="360.0" y="180.0"/>
518
 
</graphics>
519
 
<name>
520
 
<value>A5_Done</value>
521
 
<graphics>
522
 
<offset x="28.0" y="50.0"/>
523
 
</graphics>
524
 
</name>
525
 
<orientation>
526
 
<value>0</value>
527
 
</orientation>
528
 
<rate>
529
 
<value>1.0</value>
530
 
</rate>
531
 
<timed>
532
 
<value>false</value>
533
 
</timed>
534
 
<infiniteServer>
535
 
<value>false</value>
536
 
</infiniteServer>
537
 
<priority>
538
 
<value>1</value>
539
 
</priority>
540
 
</transition>
541
 
<transition id="T8">
542
 
<graphics>
543
 
<position x="465.0" y="180.0"/>
544
 
</graphics>
545
 
<name>
546
 
<value>A6_Done</value>
547
 
<graphics>
548
 
<offset x="26.0" y="42.0"/>
549
 
</graphics>
550
 
</name>
551
 
<orientation>
552
 
<value>0</value>
553
 
</orientation>
554
 
<rate>
555
 
<value>1.0</value>
556
 
</rate>
557
 
<timed>
558
 
<value>false</value>
559
 
</timed>
560
 
<infiniteServer>
561
 
<value>false</value>
562
 
</infiniteServer>
563
 
<priority>
564
 
<value>1</value>
565
 
</priority>
566
 
</transition>
567
 
<transition id="T9">
568
 
<graphics>
569
 
<position x="630.0" y="90.0"/>
570
 
</graphics>
571
 
<name>
572
 
<value>A7_Done</value>
573
 
<graphics>
574
 
<offset x="29.0" y="51.0"/>
575
 
</graphics>
576
 
</name>
577
 
<orientation>
578
 
<value>0</value>
579
 
</orientation>
580
 
<rate>
581
 
<value>1.0</value>
582
 
</rate>
583
 
<timed>
584
 
<value>false</value>
585
 
</timed>
586
 
<infiniteServer>
587
 
<value>false</value>
588
 
</infiniteServer>
589
 
<priority>
590
 
<value>1</value>
591
 
</priority>
592
 
</transition>
593
 
<arc id="P0 to T3" source="P0" target="T3">
594
 
<graphics/>
595
 
<inscription>
596
 
<value>[5,inf)</value>
597
 
<graphics/>
598
 
</inscription>
599
 
<tagged>
600
 
<value>false</value>
601
 
</tagged>
602
 
<arcpath id="000" x="26" y="87" curvePoint="false"/>
603
 
<arcpath id="001" x="66" y="87" curvePoint="false"/>
604
 
<type value="timed"/>
605
 
</arc>
606
 
<arc id="P10 to T7" source="P10" target="T7">
607
 
<graphics/>
608
 
<inscription>
609
 
<value>[3,inf)</value>
610
 
<graphics/>
611
 
</inscription>
612
 
<tagged>
613
 
<value>false</value>
614
 
</tagged>
615
 
<arcpath id="000" x="326" y="192" curvePoint="false"/>
616
 
<arcpath id="001" x="366" y="192" curvePoint="false"/>
617
 
<type value="timed"/>
618
 
</arc>
619
 
<arc id="P11 to T8" source="P11" target="T8">
620
 
<graphics/>
621
 
<inscription>
622
 
<value>[3,inf)</value>
623
 
<graphics/>
624
 
</inscription>
625
 
<tagged>
626
 
<value>false</value>
627
 
</tagged>
628
 
<arcpath id="000" x="431" y="192" curvePoint="false"/>
629
 
<arcpath id="001" x="471" y="192" curvePoint="false"/>
630
 
<type value="timed"/>
631
 
</arc>
632
 
<arc id="P12 to T0" source="P12" target="T0">
633
 
<graphics/>
634
 
<inscription>
635
 
<value>[0,inf)</value>
636
 
<graphics/>
637
 
</inscription>
638
 
<tagged>
639
 
<value>false</value>
640
 
</tagged>
641
 
<arcpath id="000" x="524" y="177" curvePoint="false"/>
642
 
<arcpath id="001" x="537" y="117" curvePoint="false"/>
643
 
<type value="timed"/>
644
 
</arc>
645
 
<arc id="P13 to T1" source="P13" target="T1">
646
 
<graphics/>
647
 
<inscription>
648
 
<value>[0,15]:1</value>
649
 
<graphics/>
650
 
</inscription>
651
 
<tagged>
652
 
<value>false</value>
653
 
</tagged>
654
 
<arcpath id="000" x="338" y="342" curvePoint="false"/>
655
 
<arcpath id="001" x="316" y="121" curvePoint="true"/>
656
 
<arcpath id="002" x="396" y="32" curvePoint="true"/>
657
 
<type value="transport"/>
658
 
</arc>
659
 
<arc id="P13 to T2" source="P13" target="T2">
660
 
<graphics/>
661
 
<inscription>
662
 
<value>[0,9]:1</value>
663
 
<graphics/>
664
 
</inscription>
665
 
<tagged>
666
 
<value>false</value>
667
 
</tagged>
668
 
<arcpath id="000" x="331" y="346" curvePoint="false"/>
669
 
<arcpath id="001" x="196" y="181" curvePoint="true"/>
670
 
<arcpath id="002" x="207" y="42" curvePoint="true"/>
671
 
<type value="transport"/>
672
 
</arc>
673
 
<arc id="P13 to T3" source="P13" target="T3">
674
 
<graphics/>
675
 
<inscription>
676
 
<value>[0,5]:1</value>
677
 
<graphics/>
678
 
</inscription>
679
 
<tagged>
680
 
<value>false</value>
681
 
</tagged>
682
 
<arcpath id="000" x="327" y="361" curvePoint="false"/>
683
 
<arcpath id="001" x="151" y="406" curvePoint="true"/>
684
 
<arcpath id="002" x="31" y="361" curvePoint="true"/>
685
 
<arcpath id="003" x="31" y="166" curvePoint="true"/>
686
 
<arcpath id="004" x="72" y="102" curvePoint="false"/>
687
 
<type value="transport"/>
688
 
</arc>
689
 
<arc id="P13 to T4" source="P13" target="T4">
690
 
<graphics/>
691
 
<inscription>
692
 
<value>[0,9]:1</value>
693
 
<graphics/>
694
 
</inscription>
695
 
<tagged>
696
 
<value>false</value>
697
 
</tagged>
698
 
<arcpath id="000" x="327" y="357" curvePoint="false"/>
699
 
<arcpath id="001" x="106" y="331" curvePoint="true"/>
700
 
<arcpath id="002" x="136" y="181" curvePoint="true"/>
701
 
<arcpath id="003" x="171" y="137" curvePoint="false"/>
702
 
<type value="transport"/>
703
 
</arc>
704
 
<arc id="P13 to T5" source="P13" target="T5">
705
 
<graphics/>
706
 
<inscription>
707
 
<value>[0,8]:1</value>
708
 
<graphics/>
709
 
</inscription>
710
 
<tagged>
711
 
<value>false</value>
712
 
</tagged>
713
 
<arcpath id="000" x="327" y="356" curvePoint="false"/>
714
 
<arcpath id="001" x="196" y="331" curvePoint="true"/>
715
 
<arcpath id="002" x="177" y="252" curvePoint="true"/>
716
 
<type value="transport"/>
717
 
</arc>
718
 
<arc id="P13 to T7" source="P13" target="T7">
719
 
<graphics/>
720
 
<inscription>
721
 
<value>[0,13]:1</value>
722
 
<graphics/>
723
 
</inscription>
724
 
<tagged>
725
 
<value>false</value>
726
 
</tagged>
727
 
<arcpath id="000" x="348" y="343" curvePoint="false"/>
728
 
<arcpath id="001" x="376" y="271" curvePoint="true"/>
729
 
<arcpath id="002" x="372" y="207" curvePoint="true"/>
730
 
<type value="transport"/>
731
 
</arc>
732
 
<arc id="P13 to T8" source="P13" target="T8">
733
 
<graphics/>
734
 
<inscription>
735
 
<value>[0,18]:1</value>
736
 
<graphics/>
737
 
</inscription>
738
 
<tagged>
739
 
<value>false</value>
740
 
</tagged>
741
 
<arcpath id="000" x="356" y="353" curvePoint="false"/>
742
 
<arcpath id="001" x="466" y="301" curvePoint="true"/>
743
 
<arcpath id="002" x="477" y="207" curvePoint="true"/>
744
 
<type value="transport"/>
745
 
</arc>
746
 
<arc id="P13 to T9" source="P13" target="T9">
747
 
<graphics/>
748
 
<inscription>
749
 
<value>[0,25]:1</value>
750
 
<graphics/>
751
 
</inscription>
752
 
<tagged>
753
 
<value>false</value>
754
 
</tagged>
755
 
<arcpath id="000" x="356" y="357" curvePoint="false"/>
756
 
<arcpath id="001" x="571" y="346" curvePoint="true"/>
757
 
<arcpath id="002" x="661" y="256" curvePoint="true"/>
758
 
<arcpath id="003" x="642" y="117" curvePoint="true"/>
759
 
<type value="transport"/>
760
 
</arc>
761
 
<arc id="P1 to T2" source="P1" target="T2">
762
 
<graphics/>
763
 
<inscription>
764
 
<value>[4,inf)</value>
765
 
<graphics/>
766
 
</inscription>
767
 
<tagged>
768
 
<value>false</value>
769
 
</tagged>
770
 
<arcpath id="000" x="131" y="27" curvePoint="false"/>
771
 
<arcpath id="001" x="201" y="27" curvePoint="false"/>
772
 
<type value="timed"/>
773
 
</arc>
774
 
<arc id="P2 to T1" source="P2" target="T1">
775
 
<graphics/>
776
 
<inscription>
777
 
<value>[4,inf)</value>
778
 
<graphics/>
779
 
</inscription>
780
 
<tagged>
781
 
<value>false</value>
782
 
</tagged>
783
 
<arcpath id="000" x="326" y="26" curvePoint="false"/>
784
 
<arcpath id="001" x="397" y="22" curvePoint="false"/>
785
 
<type value="timed"/>
786
 
</arc>
787
 
<arc id="P3 to T0" source="P3" target="T0">
788
 
<graphics/>
789
 
<inscription>
790
 
<value>[0,inf)</value>
791
 
<graphics/>
792
 
</inscription>
793
 
<tagged>
794
 
<value>false</value>
795
 
</tagged>
796
 
<arcpath id="000" x="498" y="40" curvePoint="false"/>
797
 
<arcpath id="001" x="531" y="102" curvePoint="false"/>
798
 
<type value="timed"/>
799
 
</arc>
800
 
<arc id="P4 to T9" source="P4" target="T9">
801
 
<graphics/>
802
 
<inscription>
803
 
<value>[2,inf)</value>
804
 
<graphics/>
805
 
</inscription>
806
 
<tagged>
807
 
<value>false</value>
808
 
</tagged>
809
 
<arcpath id="000" x="596" y="102" curvePoint="false"/>
810
 
<arcpath id="001" x="636" y="102" curvePoint="false"/>
811
 
<type value="timed"/>
812
 
</arc>
813
 
<arc id="P6 to T4" source="P6" target="T4">
814
 
<graphics/>
815
 
<inscription>
816
 
<value>[2,inf)</value>
817
 
<graphics/>
818
 
</inscription>
819
 
<tagged>
820
 
<value>false</value>
821
 
</tagged>
822
 
<arcpath id="000" x="131" y="130" curvePoint="false"/>
823
 
<arcpath id="001" x="172" y="127" curvePoint="false"/>
824
 
<type value="timed"/>
825
 
</arc>
826
 
<arc id="P7 to T5" source="P7" target="T5">
827
 
<graphics/>
828
 
<inscription>
829
 
<value>[2,inf)</value>
830
 
<graphics/>
831
 
</inscription>
832
 
<tagged>
833
 
<value>false</value>
834
 
</tagged>
835
 
<arcpath id="000" x="131" y="237" curvePoint="false"/>
836
 
<arcpath id="001" x="171" y="237" curvePoint="false"/>
837
 
<type value="timed"/>
838
 
</arc>
839
 
<arc id="P8 to T6" source="P8" target="T6">
840
 
<graphics/>
841
 
<inscription>
842
 
<value>[0,inf)</value>
843
 
<graphics/>
844
 
</inscription>
845
 
<tagged>
846
 
<value>false</value>
847
 
</tagged>
848
 
<arcpath id="000" x="230" y="144" curvePoint="false"/>
849
 
<arcpath id="001" x="262" y="187" curvePoint="false"/>
850
 
<type value="timed"/>
851
 
</arc>
852
 
<arc id="P9 to T6" source="P9" target="T6">
853
 
<graphics/>
854
 
<inscription>
855
 
<value>[0,inf)</value>
856
 
<graphics/>
857
 
</inscription>
858
 
<tagged>
859
 
<value>false</value>
860
 
</tagged>
861
 
<arcpath id="000" x="232" y="226" curvePoint="false"/>
862
 
<arcpath id="001" x="261" y="197" curvePoint="false"/>
863
 
<type value="timed"/>
864
 
</arc>
865
 
<arc id="T0 to P4" source="T0" target="P4">
866
 
<graphics/>
867
 
<inscription>
868
 
<value>1</value>
869
 
<graphics/>
870
 
</inscription>
871
 
<tagged>
872
 
<value>false</value>
873
 
</tagged>
874
 
<arcpath id="000" x="541" y="102" curvePoint="false"/>
875
 
<arcpath id="001" x="567" y="102" curvePoint="false"/>
876
 
<type value="normal"/>
877
 
</arc>
878
 
<arc id="T1 to P13" source="T1" target="P13">
879
 
<graphics/>
880
 
<inscription>
881
 
<value>[0,inf):1</value>
882
 
<graphics/>
883
 
</inscription>
884
 
<tagged>
885
 
<value>false</value>
886
 
</tagged>
887
 
<arcpath id="000" x="402" y="42" curvePoint="false"/>
888
 
<arcpath id="001" x="331" y="151" curvePoint="true"/>
889
 
<arcpath id="002" x="339" y="342" curvePoint="true"/>
890
 
<type value="transport"/>
891
 
</arc>
892
 
<arc id="T1 to P3" source="T1" target="P3">
893
 
<graphics/>
894
 
<inscription>
895
 
<value>1</value>
896
 
<graphics/>
897
 
</inscription>
898
 
<tagged>
899
 
<value>false</value>
900
 
</tagged>
901
 
<arcpath id="000" x="406" y="27" curvePoint="false"/>
902
 
<arcpath id="001" x="477" y="27" curvePoint="false"/>
903
 
<type value="normal"/>
904
 
</arc>
905
 
<arc id="T2 to P13" source="T2" target="P13">
906
 
<graphics/>
907
 
<inscription>
908
 
<value>[0,inf):1</value>
909
 
<graphics/>
910
 
</inscription>
911
 
<tagged>
912
 
<value>false</value>
913
 
</tagged>
914
 
<arcpath id="000" x="207" y="42" curvePoint="false"/>
915
 
<arcpath id="001" x="256" y="241" curvePoint="true"/>
916
 
<arcpath id="002" x="331" y="331" curvePoint="true"/>
917
 
<arcpath id="003" x="336" y="343" curvePoint="false"/>
918
 
<type value="transport"/>
919
 
</arc>
920
 
<arc id="T2 to P2" source="T2" target="P2">
921
 
<graphics/>
922
 
<inscription>
923
 
<value>1</value>
924
 
<graphics/>
925
 
</inscription>
926
 
<tagged>
927
 
<value>false</value>
928
 
</tagged>
929
 
<arcpath id="000" x="211" y="27" curvePoint="false"/>
930
 
<arcpath id="001" x="297" y="27" curvePoint="false"/>
931
 
<type value="normal"/>
932
 
</arc>
933
 
<arc id="T3 to P1" source="T3" target="P1">
934
 
<graphics/>
935
 
<inscription>
936
 
<value>1</value>
937
 
<graphics/>
938
 
</inscription>
939
 
<tagged>
940
 
<value>false</value>
941
 
</tagged>
942
 
<arcpath id="000" x="77" y="82" curvePoint="false"/>
943
 
<arcpath id="001" x="108" y="39" curvePoint="false"/>
944
 
<type value="normal"/>
945
 
</arc>
946
 
<arc id="T3 to P13" source="T3" target="P13">
947
 
<graphics/>
948
 
<inscription>
949
 
<value>[0,inf):1</value>
950
 
<graphics/>
951
 
</inscription>
952
 
<tagged>
953
 
<value>false</value>
954
 
</tagged>
955
 
<arcpath id="000" x="72" y="102" curvePoint="false"/>
956
 
<arcpath id="001" x="31" y="286" curvePoint="true"/>
957
 
<arcpath id="002" x="106" y="376" curvePoint="true"/>
958
 
<arcpath id="003" x="327" y="359" curvePoint="true"/>
959
 
<type value="transport"/>
960
 
</arc>
961
 
<arc id="T3 to P6" source="T3" target="P6">
962
 
<graphics/>
963
 
<inscription>
964
 
<value>1</value>
965
 
<graphics/>
966
 
</inscription>
967
 
<tagged>
968
 
<value>false</value>
969
 
</tagged>
970
 
<arcpath id="000" x="76" y="92" curvePoint="false"/>
971
 
<arcpath id="001" x="106" y="121" curvePoint="false"/>
972
 
<type value="normal"/>
973
 
</arc>
974
 
<arc id="T3 to P7" source="T3" target="P7">
975
 
<graphics/>
976
 
<inscription>
977
 
<value>1</value>
978
 
<graphics/>
979
 
</inscription>
980
 
<tagged>
981
 
<value>false</value>
982
 
</tagged>
983
 
<arcpath id="000" x="72" y="102" curvePoint="false"/>
984
 
<arcpath id="001" x="112" y="222" curvePoint="false"/>
985
 
<type value="normal"/>
986
 
</arc>
987
 
<arc id="T4 to P13" source="T4" target="P13">
988
 
<graphics/>
989
 
<inscription>
990
 
<value>[0,inf):1</value>
991
 
<graphics/>
992
 
</inscription>
993
 
<tagged>
994
 
<value>false</value>
995
 
</tagged>
996
 
<arcpath id="000" x="177" y="147" curvePoint="false"/>
997
 
<arcpath id="001" x="121" y="286" curvePoint="true"/>
998
 
<arcpath id="002" x="166" y="346" curvePoint="true"/>
999
 
<arcpath id="003" x="327" y="356" curvePoint="true"/>
1000
 
<type value="transport"/>
1001
 
</arc>
1002
 
<arc id="T4 to P8" source="T4" target="P8">
1003
 
<graphics/>
1004
 
<inscription>
1005
 
<value>1</value>
1006
 
<graphics/>
1007
 
</inscription>
1008
 
<tagged>
1009
 
<value>false</value>
1010
 
</tagged>
1011
 
<arcpath id="000" x="181" y="132" curvePoint="false"/>
1012
 
<arcpath id="001" x="207" y="132" curvePoint="false"/>
1013
 
<type value="normal"/>
1014
 
</arc>
1015
 
<arc id="T5 to P13" source="T5" target="P13">
1016
 
<graphics/>
1017
 
<inscription>
1018
 
<value>[0,inf):1</value>
1019
 
<graphics/>
1020
 
</inscription>
1021
 
<tagged>
1022
 
<value>false</value>
1023
 
</tagged>
1024
 
<arcpath id="000" x="177" y="252" curvePoint="false"/>
1025
 
<arcpath id="001" x="211" y="316" curvePoint="true"/>
1026
 
<arcpath id="002" x="327" y="353" curvePoint="true"/>
1027
 
<type value="transport"/>
1028
 
</arc>
1029
 
<arc id="T5 to P9" source="T5" target="P9">
1030
 
<graphics/>
1031
 
<inscription>
1032
 
<value>1</value>
1033
 
<graphics/>
1034
 
</inscription>
1035
 
<tagged>
1036
 
<value>false</value>
1037
 
</tagged>
1038
 
<arcpath id="000" x="181" y="237" curvePoint="false"/>
1039
 
<arcpath id="001" x="207" y="237" curvePoint="false"/>
1040
 
<type value="normal"/>
1041
 
</arc>
1042
 
<arc id="T6 to P10" source="T6" target="P10">
1043
 
<graphics/>
1044
 
<inscription>
1045
 
<value>1</value>
1046
 
<graphics/>
1047
 
</inscription>
1048
 
<tagged>
1049
 
<value>false</value>
1050
 
</tagged>
1051
 
<arcpath id="000" x="271" y="192" curvePoint="false"/>
1052
 
<arcpath id="001" x="297" y="192" curvePoint="false"/>
1053
 
<type value="normal"/>
1054
 
</arc>
1055
 
<arc id="T7 to P11" source="T7" target="P11">
1056
 
<graphics/>
1057
 
<inscription>
1058
 
<value>1</value>
1059
 
<graphics/>
1060
 
</inscription>
1061
 
<tagged>
1062
 
<value>false</value>
1063
 
</tagged>
1064
 
<arcpath id="000" x="376" y="192" curvePoint="false"/>
1065
 
<arcpath id="001" x="402" y="192" curvePoint="false"/>
1066
 
<type value="normal"/>
1067
 
</arc>
1068
 
<arc id="T7 to P13" source="T7" target="P13">
1069
 
<graphics/>
1070
 
<inscription>
1071
 
<value>[0,inf):1</value>
1072
 
<graphics/>
1073
 
</inscription>
1074
 
<tagged>
1075
 
<value>false</value>
1076
 
</tagged>
1077
 
<arcpath id="000" x="372" y="207" curvePoint="false"/>
1078
 
<arcpath id="001" x="391" y="301" curvePoint="true"/>
1079
 
<arcpath id="002" x="351" y="345" curvePoint="false"/>
1080
 
<type value="transport"/>
1081
 
</arc>
1082
 
<arc id="T8 to P12" source="T8" target="P12">
1083
 
<graphics/>
1084
 
<inscription>
1085
 
<value>1</value>
1086
 
<graphics/>
1087
 
</inscription>
1088
 
<tagged>
1089
 
<value>false</value>
1090
 
</tagged>
1091
 
<arcpath id="000" x="481" y="192" curvePoint="false"/>
1092
 
<arcpath id="001" x="507" y="192" curvePoint="false"/>
1093
 
<type value="normal"/>
1094
 
</arc>
1095
 
<arc id="T8 to P13" source="T8" target="P13">
1096
 
<graphics/>
1097
 
<inscription>
1098
 
<value>[0,inf):1</value>
1099
 
<graphics/>
1100
 
</inscription>
1101
 
<tagged>
1102
 
<value>false</value>
1103
 
</tagged>
1104
 
<arcpath id="000" x="477" y="207" curvePoint="false"/>
1105
 
<arcpath id="001" x="511" y="301" curvePoint="true"/>
1106
 
<arcpath id="002" x="356" y="353" curvePoint="true"/>
1107
 
<type value="transport"/>
1108
 
</arc>
1109
 
<arc id="T9 to P13" source="T9" target="P13">
1110
 
<graphics/>
1111
 
<inscription>
1112
 
<value>[0,inf):1</value>
1113
 
<graphics/>
1114
 
</inscription>
1115
 
<tagged>
1116
 
<value>false</value>
1117
 
</tagged>
1118
 
<arcpath id="000" x="642" y="117" curvePoint="false"/>
1119
 
<arcpath id="001" x="691" y="286" curvePoint="true"/>
1120
 
<arcpath id="002" x="586" y="376" curvePoint="true"/>
1121
 
<arcpath id="003" x="451" y="391" curvePoint="true"/>
1122
 
<arcpath id="004" x="355" y="362" curvePoint="true"/>
1123
 
<type value="transport"/>
1124
 
</arc>
1125
 
<arc id="T9 to P5" source="T9" target="P5">
1126
 
<graphics/>
1127
 
<inscription>
1128
 
<value>1</value>
1129
 
<graphics/>
1130
 
</inscription>
1131
 
<tagged>
1132
 
<value>false</value>
1133
 
</tagged>
1134
 
<arcpath id="000" x="646" y="102" curvePoint="false"/>
1135
 
<arcpath id="001" x="672" y="102" curvePoint="false"/>
1136
 
<type value="normal"/>
1137
 
</arc>
1138
 
<queries name="Find Fastest Schedule" traceOption="FASTEST" searchOption="BFS" hashTableSize="MB_16" extrapolationOption="AUTOMATIC" reductionOption="STANDARD">
1139
 
<capacity>
1140
 
<value>2</value>
1141
 
</capacity>
1142
 
<query>
1143
 
<value>E&lt;&gt;( Work_Done == 1 )</value>
1144
 
</query>
1145
 
</queries>
 
8
By clicking on "Check Boundedness" in the query dialog, one will realise that the net with two additional tokens is bounded and verification finds the fastest schedule. The age of the token in the place Deadlines then shows the total time needed for execution of all tasks (15 time units in our case).</labels>
 
9
<place id="P0" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A0" nameOffsetX="25.0" nameOffsetY="-1.0" positionX="0.0" positionY="75.0"/>
 
10
<place id="P1" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="15.0"/>
 
11
<place id="P10" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A5" nameOffsetX="7.0" nameOffsetY="35.0" positionX="300.0" positionY="180.0"/>
 
12
<place id="P11" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A6" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="405.0" positionY="180.0"/>
 
13
<place id="P12" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Sync2_A6" nameOffsetX="85.0" nameOffsetY="13.0" positionX="510.0" positionY="180.0"/>
 
14
<place id="P13" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Deadlines" nameOffsetX="41.0" nameOffsetY="51.0" positionX="330.0" positionY="345.0"/>
 
15
<place id="P2" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="300.0" positionY="15.0"/>
 
16
<place id="P3" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Sync2_A2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="15.0"/>
 
17
<place id="P4" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A7" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="90.0"/>
 
18
<place id="P5" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Work_Done" nameOffsetX="30.0" nameOffsetY="-15.0" positionX="675.0" positionY="90.0"/>
 
19
<place id="P6" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="120.0"/>
 
20
<place id="P7" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="A4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="225.0"/>
 
21
<place id="P8" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Sync1_A3" nameOffsetX="81.0" nameOffsetY="-3.0" positionX="210.0" positionY="120.0"/>
 
22
<place id="P9" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Sync1_A4" nameOffsetX="33.0" nameOffsetY="46.0" positionX="210.0" positionY="225.0"/>
 
23
<transition angle="0" id="T0" infiniteServer="false" name="Sync2_Done" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="525.0" positionY="90.0" priority="1" timed="true"/>
 
24
<transition angle="0" id="T1" infiniteServer="false" name="A2_Done" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="390.0" positionY="15.0" priority="1" timed="true"/>
 
25
<transition angle="0" id="T2" infiniteServer="false" name="A1_Done" nameOffsetX="25.0" nameOffsetY="41.0" positionX="195.0" positionY="15.0" priority="1" timed="true"/>
 
26
<transition angle="0" id="T3" infiniteServer="false" name="A0_Done" nameOffsetX="69.0" nameOffsetY="19.0" positionX="60.0" positionY="75.0" priority="1" timed="true"/>
 
27
<transition angle="0" id="T4" infiniteServer="false" name="A3_Done" nameOffsetX="19.0" nameOffsetY="43.0" positionX="165.0" positionY="120.0" priority="1" timed="true"/>
 
28
<transition angle="0" id="T5" infiniteServer="false" name="A4_Done" nameOffsetX="17.0" nameOffsetY="46.0" positionX="165.0" positionY="225.0" priority="1" timed="true"/>
 
29
<transition angle="0" id="T6" infiniteServer="false" name="Sync1_Done" nameOffsetX="7.0" nameOffsetY="22.0" positionX="255.0" positionY="180.0" priority="1" timed="true"/>
 
30
<transition angle="0" id="T7" infiniteServer="false" name="A5_Done" nameOffsetX="28.0" nameOffsetY="50.0" positionX="360.0" positionY="180.0" priority="1" timed="true"/>
 
31
<transition angle="0" id="T8" infiniteServer="false" name="A6_Done" nameOffsetX="26.0" nameOffsetY="42.0" positionX="465.0" positionY="180.0" priority="1" timed="true"/>
 
32
<transition angle="0" id="T9" infiniteServer="false" name="A7_Done" nameOffsetX="29.0" nameOffsetY="51.0" positionX="630.0" positionY="90.0" priority="1" timed="true"/>
 
33
<arc id="P0 to T3" inscription="[5,inf)" source="P0" target="T3" type="timed">
 
34
<arcpath arcPointType="false" id="0" xCoord="26" yCoord="87"/>
 
35
<arcpath arcPointType="false" id="1" xCoord="66" yCoord="87"/>
 
36
</arc>
 
37
<arc id="P10 to T7" inscription="[3,inf)" source="P10" target="T7" type="timed">
 
38
<arcpath arcPointType="false" id="0" xCoord="326" yCoord="192"/>
 
39
<arcpath arcPointType="false" id="1" xCoord="366" yCoord="192"/>
 
40
</arc>
 
41
<arc id="P11 to T8" inscription="[3,inf)" source="P11" target="T8" type="timed">
 
42
<arcpath arcPointType="false" id="0" xCoord="431" yCoord="192"/>
 
43
<arcpath arcPointType="false" id="1" xCoord="471" yCoord="192"/>
 
44
</arc>
 
45
<arc id="P12 to T0" inscription="[0,inf)" source="P12" target="T0" type="timed">
 
46
<arcpath arcPointType="false" id="0" xCoord="524" yCoord="177"/>
 
47
<arcpath arcPointType="false" id="1" xCoord="537" yCoord="117"/>
 
48
</arc>
 
49
<arc id="P1 to T2" inscription="[4,inf)" source="P1" target="T2" type="timed">
 
50
<arcpath arcPointType="false" id="0" xCoord="131" yCoord="27"/>
 
51
<arcpath arcPointType="false" id="1" xCoord="201" yCoord="27"/>
 
52
</arc>
 
53
<arc id="P2 to T1" inscription="[4,inf)" source="P2" target="T1" type="timed">
 
54
<arcpath arcPointType="false" id="0" xCoord="326" yCoord="26"/>
 
55
<arcpath arcPointType="false" id="1" xCoord="397" yCoord="22"/>
 
56
</arc>
 
57
<arc id="P3 to T0" inscription="[0,inf)" source="P3" target="T0" type="timed">
 
58
<arcpath arcPointType="false" id="0" xCoord="498" yCoord="40"/>
 
59
<arcpath arcPointType="false" id="1" xCoord="531" yCoord="102"/>
 
60
</arc>
 
61
<arc id="P4 to T9" inscription="[2,inf)" source="P4" target="T9" type="timed">
 
62
<arcpath arcPointType="false" id="0" xCoord="596" yCoord="102"/>
 
63
<arcpath arcPointType="false" id="1" xCoord="636" yCoord="102"/>
 
64
</arc>
 
65
<arc id="P6 to T4" inscription="[2,inf)" source="P6" target="T4" type="timed">
 
66
<arcpath arcPointType="false" id="0" xCoord="131" yCoord="130"/>
 
67
<arcpath arcPointType="false" id="1" xCoord="172" yCoord="127"/>
 
68
</arc>
 
69
<arc id="P7 to T5" inscription="[2,inf)" source="P7" target="T5" type="timed">
 
70
<arcpath arcPointType="false" id="0" xCoord="131" yCoord="237"/>
 
71
<arcpath arcPointType="false" id="1" xCoord="171" yCoord="237"/>
 
72
</arc>
 
73
<arc id="P8 to T6" inscription="[0,inf)" source="P8" target="T6" type="timed">
 
74
<arcpath arcPointType="false" id="0" xCoord="230" yCoord="144"/>
 
75
<arcpath arcPointType="false" id="1" xCoord="262" yCoord="187"/>
 
76
</arc>
 
77
<arc id="P9 to T6" inscription="[0,inf)" source="P9" target="T6" type="timed">
 
78
<arcpath arcPointType="false" id="0" xCoord="232" yCoord="226"/>
 
79
<arcpath arcPointType="false" id="1" xCoord="261" yCoord="197"/>
 
80
</arc>
 
81
<arc id="T0 to P4" inscription="1" source="T0" target="P4" type="normal">
 
82
<arcpath arcPointType="false" id="0" xCoord="541" yCoord="102"/>
 
83
<arcpath arcPointType="false" id="1" xCoord="567" yCoord="102"/>
 
84
</arc>
 
85
<arc id="P13 to T1" inscription="[0,15]:1" source="P13" target="T1" type="transport">
 
86
<arcpath arcPointType="false" id="0" xCoord="338" yCoord="342"/>
 
87
<arcpath arcPointType="true" id="1" xCoord="317" yCoord="122"/>
 
88
<arcpath arcPointType="true" id="2" xCoord="396" yCoord="32"/>
 
89
</arc>
 
90
<arc id="T1 to P13" inscription="[0,15]:1" source="T1" target="P13" type="transport">
 
91
<arcpath arcPointType="false" id="0" xCoord="402" yCoord="42"/>
 
92
<arcpath arcPointType="true" id="1" xCoord="332" yCoord="152"/>
 
93
<arcpath arcPointType="true" id="2" xCoord="340" yCoord="342"/>
 
94
</arc>
 
95
<arc id="T1 to P3" inscription="1" source="T1" target="P3" type="normal">
 
96
<arcpath arcPointType="false" id="0" xCoord="406" yCoord="27"/>
 
97
<arcpath arcPointType="false" id="1" xCoord="477" yCoord="27"/>
 
98
</arc>
 
99
<arc id="P13 to T2" inscription="[0,9]:1" source="P13" target="T2" type="transport">
 
100
<arcpath arcPointType="false" id="0" xCoord="331" yCoord="346"/>
 
101
<arcpath arcPointType="true" id="1" xCoord="197" yCoord="182"/>
 
102
<arcpath arcPointType="true" id="2" xCoord="207" yCoord="42"/>
 
103
</arc>
 
104
<arc id="T2 to P13" inscription="[0,9]:1" source="T2" target="P13" type="transport">
 
105
<arcpath arcPointType="false" id="0" xCoord="207" yCoord="42"/>
 
106
<arcpath arcPointType="true" id="1" xCoord="257" yCoord="242"/>
 
107
<arcpath arcPointType="true" id="2" xCoord="332" yCoord="332"/>
 
108
<arcpath arcPointType="false" id="3" xCoord="336" yCoord="343"/>
 
109
</arc>
 
110
<arc id="T2 to P2" inscription="1" source="T2" target="P2" type="normal">
 
111
<arcpath arcPointType="false" id="0" xCoord="211" yCoord="27"/>
 
112
<arcpath arcPointType="false" id="1" xCoord="297" yCoord="27"/>
 
113
</arc>
 
114
<arc id="T3 to P1" inscription="1" source="T3" target="P1" type="normal">
 
115
<arcpath arcPointType="false" id="0" xCoord="77" yCoord="82"/>
 
116
<arcpath arcPointType="false" id="1" xCoord="108" yCoord="39"/>
 
117
</arc>
 
118
<arc id="P13 to T3" inscription="[0,5]:1" source="P13" target="T3" type="transport">
 
119
<arcpath arcPointType="false" id="0" xCoord="327" yCoord="361"/>
 
120
<arcpath arcPointType="true" id="1" xCoord="152" yCoord="407"/>
 
121
<arcpath arcPointType="true" id="2" xCoord="32" yCoord="362"/>
 
122
<arcpath arcPointType="true" id="3" xCoord="32" yCoord="167"/>
 
123
<arcpath arcPointType="false" id="4" xCoord="72" yCoord="102"/>
 
124
</arc>
 
125
<arc id="T3 to P13" inscription="[0,5]:1" source="T3" target="P13" type="transport">
 
126
<arcpath arcPointType="false" id="0" xCoord="72" yCoord="102"/>
 
127
<arcpath arcPointType="true" id="1" xCoord="32" yCoord="287"/>
 
128
<arcpath arcPointType="true" id="2" xCoord="107" yCoord="377"/>
 
129
<arcpath arcPointType="true" id="3" xCoord="327" yCoord="359"/>
 
130
</arc>
 
131
<arc id="T3 to P6" inscription="1" source="T3" target="P6" type="normal">
 
132
<arcpath arcPointType="false" id="0" xCoord="76" yCoord="92"/>
 
133
<arcpath arcPointType="false" id="1" xCoord="106" yCoord="121"/>
 
134
</arc>
 
135
<arc id="T3 to P7" inscription="1" source="T3" target="P7" type="normal">
 
136
<arcpath arcPointType="false" id="0" xCoord="72" yCoord="102"/>
 
137
<arcpath arcPointType="false" id="1" xCoord="112" yCoord="222"/>
 
138
</arc>
 
139
<arc id="P13 to T4" inscription="[0,9]:1" source="P13" target="T4" type="transport">
 
140
<arcpath arcPointType="false" id="0" xCoord="327" yCoord="357"/>
 
141
<arcpath arcPointType="true" id="1" xCoord="107" yCoord="332"/>
 
142
<arcpath arcPointType="true" id="2" xCoord="137" yCoord="182"/>
 
143
<arcpath arcPointType="false" id="3" xCoord="171" yCoord="137"/>
 
144
</arc>
 
145
<arc id="T4 to P13" inscription="[0,9]:1" source="T4" target="P13" type="transport">
 
146
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="147"/>
 
147
<arcpath arcPointType="true" id="1" xCoord="122" yCoord="287"/>
 
148
<arcpath arcPointType="true" id="2" xCoord="167" yCoord="347"/>
 
149
<arcpath arcPointType="true" id="3" xCoord="327" yCoord="356"/>
 
150
</arc>
 
151
<arc id="T4 to P8" inscription="1" source="T4" target="P8" type="normal">
 
152
<arcpath arcPointType="false" id="0" xCoord="181" yCoord="132"/>
 
153
<arcpath arcPointType="false" id="1" xCoord="207" yCoord="132"/>
 
154
</arc>
 
155
<arc id="P13 to T5" inscription="[0,8]:1" source="P13" target="T5" type="transport">
 
156
<arcpath arcPointType="false" id="0" xCoord="327" yCoord="356"/>
 
157
<arcpath arcPointType="true" id="1" xCoord="197" yCoord="332"/>
 
158
<arcpath arcPointType="true" id="2" xCoord="177" yCoord="252"/>
 
159
</arc>
 
160
<arc id="T5 to P13" inscription="[0,8]:1" source="T5" target="P13" type="transport">
 
161
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="252"/>
 
162
<arcpath arcPointType="true" id="1" xCoord="212" yCoord="317"/>
 
163
<arcpath arcPointType="true" id="2" xCoord="327" yCoord="353"/>
 
164
</arc>
 
165
<arc id="T5 to P9" inscription="1" source="T5" target="P9" type="normal">
 
166
<arcpath arcPointType="false" id="0" xCoord="181" yCoord="237"/>
 
167
<arcpath arcPointType="false" id="1" xCoord="207" yCoord="237"/>
 
168
</arc>
 
169
<arc id="T6 to P10" inscription="1" source="T6" target="P10" type="normal">
 
170
<arcpath arcPointType="false" id="0" xCoord="271" yCoord="192"/>
 
171
<arcpath arcPointType="false" id="1" xCoord="297" yCoord="192"/>
 
172
</arc>
 
173
<arc id="T7 to P11" inscription="1" source="T7" target="P11" type="normal">
 
174
<arcpath arcPointType="false" id="0" xCoord="376" yCoord="192"/>
 
175
<arcpath arcPointType="false" id="1" xCoord="402" yCoord="192"/>
 
176
</arc>
 
177
<arc id="P13 to T7" inscription="[0,13]:1" source="P13" target="T7" type="transport">
 
178
<arcpath arcPointType="false" id="0" xCoord="349" yCoord="343"/>
 
179
<arcpath arcPointType="true" id="1" xCoord="377" yCoord="272"/>
 
180
<arcpath arcPointType="true" id="2" xCoord="372" yCoord="207"/>
 
181
</arc>
 
182
<arc id="T7 to P13" inscription="[0,13]:1" source="T7" target="P13" type="transport">
 
183
<arcpath arcPointType="false" id="0" xCoord="372" yCoord="207"/>
 
184
<arcpath arcPointType="true" id="1" xCoord="392" yCoord="302"/>
 
185
<arcpath arcPointType="false" id="2" xCoord="352" yCoord="345"/>
 
186
</arc>
 
187
<arc id="T8 to P12" inscription="1" source="T8" target="P12" type="normal">
 
188
<arcpath arcPointType="false" id="0" xCoord="481" yCoord="192"/>
 
189
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="192"/>
 
190
</arc>
 
191
<arc id="P13 to T8" inscription="[0,18]:1" source="P13" target="T8" type="transport">
 
192
<arcpath arcPointType="false" id="0" xCoord="356" yCoord="353"/>
 
193
<arcpath arcPointType="true" id="1" xCoord="467" yCoord="302"/>
 
194
<arcpath arcPointType="true" id="2" xCoord="477" yCoord="207"/>
 
195
</arc>
 
196
<arc id="T8 to P13" inscription="[0,18]:1" source="T8" target="P13" type="transport">
 
197
<arcpath arcPointType="false" id="0" xCoord="477" yCoord="207"/>
 
198
<arcpath arcPointType="true" id="1" xCoord="512" yCoord="302"/>
 
199
<arcpath arcPointType="true" id="2" xCoord="356" yCoord="354"/>
 
200
</arc>
 
201
<arc id="P13 to T9" inscription="[0,25]:1" source="P13" target="T9" type="transport">
 
202
<arcpath arcPointType="false" id="0" xCoord="356" yCoord="357"/>
 
203
<arcpath arcPointType="true" id="1" xCoord="572" yCoord="347"/>
 
204
<arcpath arcPointType="true" id="2" xCoord="662" yCoord="257"/>
 
205
<arcpath arcPointType="true" id="3" xCoord="642" yCoord="117"/>
 
206
</arc>
 
207
<arc id="T9 to P13" inscription="[0,25]:1" source="T9" target="P13" type="transport">
 
208
<arcpath arcPointType="false" id="0" xCoord="642" yCoord="117"/>
 
209
<arcpath arcPointType="true" id="1" xCoord="692" yCoord="287"/>
 
210
<arcpath arcPointType="true" id="2" xCoord="587" yCoord="377"/>
 
211
<arcpath arcPointType="true" id="3" xCoord="452" yCoord="392"/>
 
212
<arcpath arcPointType="true" id="4" xCoord="355" yCoord="362"/>
 
213
</arc>
 
214
<arc id="T9 to P5" inscription="1" source="T9" target="P5" type="normal">
 
215
<arcpath arcPointType="false" id="0" xCoord="646" yCoord="102"/>
 
216
<arcpath arcPointType="false" id="1" xCoord="672" yCoord="102"/>
 
217
</arc>
1146
218
</net>
 
219
<query capacity="2" extrapolationOption="AUTOMATIC" hashTableSize="MB_16" name="Find Fastest Schedule" query="EF TAPN1.Work_Done=1" reductionOption="STANDARD" searchOption="BFS" traceOption="FASTEST"/>
1147
220
</pnml>