~tapaal-ltl/verifypn/scc-optimise

« back to all changes in this revision

Viewing changes to test_models/trace-test005/model.pnml

  • Committer: srba.jiri at gmail
  • Date: 2020-09-11 14:23:39 UTC
  • mfrom: (213.1.151 interval_tar)
  • Revision ID: srba.jiri@gmail.com-20200911142339-bq9328s1gppw24uj
merged in lp:~verifypn-maintainers/verifypn/interval_tar doing 
- Implements TAR w/o z3, but using a simple integer inference engine for Hoare logic.
 - Replaces LP-Solve with GLPK, reduces computation-time and memory overhead
 - Implements new global properties, translated into CTL formulae.

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 
2
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
 
3
    <net id="ComposedModel" type="http://www.pnml.org/version-2009/grammar/ptnet">
 
4
        <page id="page0">
 
5
            <place id="Shared_bloodTransfusionWorkflow_START">
 
6
                <graphics>
 
7
                    <position x="45" y="105"/>
 
8
                </graphics>
 
9
                <name>
 
10
                    <graphics>
 
11
                        <offset x="154" y="-34"/>
 
12
                    </graphics>
 
13
                    <text>Shared_bloodTransfusionWorkflow_START</text>
 
14
                </name>
 
15
                <initialMarking>
 
16
                    <text>1</text>
 
17
                </initialMarking>
 
18
            </place>
 
19
            <place id="Shared_bloodTransfusionWorkflow_END">
 
20
                <graphics>
 
21
                    <position x="765" y="105"/>
 
22
                </graphics>
 
23
                <name>
 
24
                    <graphics>
 
25
                        <offset x="118" y="-22"/>
 
26
                    </graphics>
 
27
                    <text>Shared_bloodTransfusionWorkflow_END</text>
 
28
                </name>
 
29
                <initialMarking>
 
30
                    <text>0</text>
 
31
                </initialMarking>
 
32
            </place>
 
33
            <place id="Shared_patientInfo_START">
 
34
                <graphics>
 
35
                    <position x="135" y="240"/>
 
36
                </graphics>
 
37
                <name>
 
38
                    <graphics>
 
39
                        <offset x="13" y="-10"/>
 
40
                    </graphics>
 
41
                    <text>Shared_patientInfo_START</text>
 
42
                </name>
 
43
                <initialMarking>
 
44
                    <text>0</text>
 
45
                </initialMarking>
 
46
            </place>
 
47
            <place id="Shared_patientInfo_END">
 
48
                <graphics>
 
49
                    <position x="285" y="240"/>
 
50
                </graphics>
 
51
                <name>
 
52
                    <graphics>
 
53
                        <offset x="20" y="-9"/>
 
54
                    </graphics>
 
55
                    <text>Shared_patientInfo_END</text>
 
56
                </name>
 
57
                <initialMarking>
 
58
                    <text>0</text>
 
59
                </initialMarking>
 
60
            </place>
 
61
            <place id="Shared_prepareTransfusion_START">
 
62
                <graphics>
 
63
                    <position x="30" y="60"/>
 
64
                </graphics>
 
65
                <name>
 
66
                    <graphics>
 
67
                        <offset x="120" y="-26"/>
 
68
                    </graphics>
 
69
                    <text>Shared_prepareTransfusion_START</text>
 
70
                </name>
 
71
                <initialMarking>
 
72
                    <text>0</text>
 
73
                </initialMarking>
 
74
            </place>
 
75
            <place id="Shared_prepareTransfusion_END">
 
76
                <graphics>
 
77
                    <position x="705" y="60"/>
 
78
                </graphics>
 
79
                <name>
 
80
                    <graphics>
 
81
                        <offset x="46" y="-20"/>
 
82
                    </graphics>
 
83
                    <text>Shared_prepareTransfusion_END</text>
 
84
                </name>
 
85
                <initialMarking>
 
86
                    <text>0</text>
 
87
                </initialMarking>
 
88
            </place>
 
89
            <place id="Shared_EX_reactionSuspected">
 
90
                <graphics>
 
91
                    <position x="795" y="510"/>
 
92
                </graphics>
 
93
                <name>
 
94
                    <graphics>
 
95
                        <offset x="86" y="58"/>
 
96
                    </graphics>
 
97
                    <text>Shared_EX_reactionSuspected</text>
 
98
                </name>
 
99
                <initialMarking>
 
100
                    <text>0</text>
 
101
                </initialMarking>
 
102
            </place>
 
103
            <place id="Shared_EX_consentDisagree">
 
104
                <graphics>
 
105
                    <position x="555" y="510"/>
 
106
                </graphics>
 
107
                <name>
 
108
                    <graphics>
 
109
                        <offset x="36" y="56"/>
 
110
                    </graphics>
 
111
                    <text>Shared_EX_consentDisagree</text>
 
112
                </name>
 
113
                <initialMarking>
 
114
                    <text>0</text>
 
115
                </initialMarking>
 
116
            </place>
 
117
            <place id="Shared_EX_orderIncomplete">
 
118
                <graphics>
 
119
                    <position x="675" y="510"/>
 
120
                </graphics>
 
121
                <name>
 
122
                    <graphics>
 
123
                        <offset x="61" y="56"/>
 
124
                    </graphics>
 
125
                    <text>Shared_EX_orderIncomplete</text>
 
126
                </name>
 
127
                <initialMarking>
 
128
                    <text>0</text>
 
129
                </initialMarking>
 
130
            </place>
 
131
            <place id="Shared_completeDoctorOrder_START">
 
132
                <graphics>
 
133
                    <position x="90" y="210"/>
 
134
                </graphics>
 
135
                <name>
 
136
                    <graphics>
 
137
                        <offset x="88" y="-11"/>
 
138
                    </graphics>
 
139
                    <text>Shared_completeDoctorOrder_START</text>
 
140
                </name>
 
141
                <initialMarking>
 
142
                    <text>0</text>
 
143
                </initialMarking>
 
144
            </place>
 
145
            <place id="Shared_completeDoctorOrder_END">
 
146
                <graphics>
 
147
                    <position x="195" y="210"/>
 
148
                </graphics>
 
149
                <name>
 
150
                    <graphics>
 
151
                        <offset x="85" y="65"/>
 
152
                    </graphics>
 
153
                    <text>Shared_completeDoctorOrder_END</text>
 
154
                </name>
 
155
                <initialMarking>
 
156
                    <text>0</text>
 
157
                </initialMarking>
 
158
            </place>
 
159
            <place id="Shared_preTransfusijonChecks_START">
 
160
                <graphics>
 
161
                    <position x="285" y="210"/>
 
162
                </graphics>
 
163
                <name>
 
164
                    <graphics>
 
165
                        <offset x="110" y="-14"/>
 
166
                    </graphics>
 
167
                    <text>Shared_preTransfusijonChecks_START</text>
 
168
                </name>
 
169
                <initialMarking>
 
170
                    <text>0</text>
 
171
                </initialMarking>
 
172
            </place>
 
173
            <place id="Shared_preTransfusijonChecks_END">
 
174
                <graphics>
 
175
                    <position x="390" y="210"/>
 
176
                </graphics>
 
177
                <name>
 
178
                    <graphics>
 
179
                        <offset x="92" y="58"/>
 
180
                    </graphics>
 
181
                    <text>Shared_preTransfusijonChecks_END</text>
 
182
                </name>
 
183
                <initialMarking>
 
184
                    <text>0</text>
 
185
                </initialMarking>
 
186
            </place>
 
187
            <place id="Shared_performTransfusion_START">
 
188
                <graphics>
 
189
                    <position x="495" y="210"/>
 
190
                </graphics>
 
191
                <name>
 
192
                    <graphics>
 
193
                        <offset x="89" y="-14"/>
 
194
                    </graphics>
 
195
                    <text>Shared_performTransfusion_START</text>
 
196
                </name>
 
197
                <initialMarking>
 
198
                    <text>0</text>
 
199
                </initialMarking>
 
200
            </place>
 
201
            <place id="Shared_performTransfusion_END">
 
202
                <graphics>
 
203
                    <position x="615" y="210"/>
 
204
                </graphics>
 
205
                <name>
 
206
                    <graphics>
 
207
                        <offset x="74" y="58"/>
 
208
                    </graphics>
 
209
                    <text>Shared_performTransfusion_END</text>
 
210
                </name>
 
211
                <initialMarking>
 
212
                    <text>0</text>
 
213
                </initialMarking>
 
214
            </place>
 
215
            <place id="Shared_obtainBloodProduct_START">
 
216
                <graphics>
 
217
                    <position x="90" y="165"/>
 
218
                </graphics>
 
219
                <name>
 
220
                    <graphics>
 
221
                        <offset x="65" y="-19"/>
 
222
                    </graphics>
 
223
                    <text>Shared_obtainBloodProduct_START</text>
 
224
                </name>
 
225
                <initialMarking>
 
226
                    <text>0</text>
 
227
                </initialMarking>
 
228
            </place>
 
229
            <place id="Shared_obtainBloodProduct_END">
 
230
                <graphics>
 
231
                    <position x="795" y="165"/>
 
232
                </graphics>
 
233
                <name>
 
234
                    <graphics>
 
235
                        <offset x="66" y="-20"/>
 
236
                    </graphics>
 
237
                    <text>Shared_obtainBloodProduct_END</text>
 
238
                </name>
 
239
                <initialMarking>
 
240
                    <text>0</text>
 
241
                </initialMarking>
 
242
            </place>
 
243
            <place id="Shared_checkForTypeAndScreen_START">
 
244
                <graphics>
 
245
                    <position x="210" y="285"/>
 
246
                </graphics>
 
247
                <name>
 
248
                    <graphics>
 
249
                        <offset x="42" y="56"/>
 
250
                    </graphics>
 
251
                    <text>Shared_checkForTypeAndScreen_START</text>
 
252
                </name>
 
253
                <initialMarking>
 
254
                    <text>0</text>
 
255
                </initialMarking>
 
256
            </place>
 
257
            <place id="Shared_checkForTypeAndScreen_END">
 
258
                <graphics>
 
259
                    <position x="360" y="285"/>
 
260
                </graphics>
 
261
                <name>
 
262
                    <graphics>
 
263
                        <offset x="121" y="63"/>
 
264
                    </graphics>
 
265
                    <text>Shared_checkForTypeAndScreen_END</text>
 
266
                </name>
 
267
                <initialMarking>
 
268
                    <text>0</text>
 
269
                </initialMarking>
 
270
            </place>
 
271
            <place id="Shared_iterateAssessPatient_START">
 
272
                <graphics>
 
273
                    <position x="255" y="345"/>
 
274
                </graphics>
 
275
                <name>
 
276
                    <graphics>
 
277
                        <offset x="56" y="55"/>
 
278
                    </graphics>
 
279
                    <text>Shared_iterateAssessPatient_START</text>
 
280
                </name>
 
281
                <initialMarking>
 
282
                    <text>0</text>
 
283
                </initialMarking>
 
284
            </place>
 
285
            <place id="Shared_iterateAssessPatient_END">
 
286
                <graphics>
 
287
                    <position x="375" y="345"/>
 
288
                </graphics>
 
289
                <name>
 
290
                    <graphics>
 
291
                        <offset x="89" y="59"/>
 
292
                    </graphics>
 
293
                    <text>Shared_iterateAssessPatient_END</text>
 
294
                </name>
 
295
                <initialMarking>
 
296
                    <text>0</text>
 
297
                </initialMarking>
 
298
            </place>
 
299
            <place id="Shared_assessPatient_START">
 
300
                <graphics>
 
301
                    <position x="105" y="135"/>
 
302
                </graphics>
 
303
                <name>
 
304
                    <graphics>
 
305
                        <offset x="20" y="-8"/>
 
306
                    </graphics>
 
307
                    <text>Shared_assessPatient_START</text>
 
308
                </name>
 
309
                <initialMarking>
 
310
                    <text>0</text>
 
311
                </initialMarking>
 
312
            </place>
 
313
            <place id="Shared_assessPatient_END">
 
314
                <graphics>
 
315
                    <position x="585" y="135"/>
 
316
                </graphics>
 
317
                <name>
 
318
                    <graphics>
 
319
                        <offset x="41" y="-13"/>
 
320
                    </graphics>
 
321
                    <text>Shared_assessPatient_END</text>
 
322
                </name>
 
323
                <initialMarking>
 
324
                    <text>0</text>
 
325
                </initialMarking>
 
326
            </place>
 
327
            <place id="Shared_handleTransfusionReaction_START">
 
328
                <graphics>
 
329
                    <position x="585" y="240"/>
 
330
                </graphics>
 
331
                <name>
 
332
                    <graphics>
 
333
                        <offset x="94" y="56"/>
 
334
                    </graphics>
 
335
                    <text>Shared_handleTransfusionReaction_START</text>
 
336
                </name>
 
337
                <initialMarking>
 
338
                    <text>0</text>
 
339
                </initialMarking>
 
340
            </place>
 
341
            <place id="Shared_handleTransfusionReaction_END">
 
342
                <graphics>
 
343
                    <position x="750" y="240"/>
 
344
                </graphics>
 
345
                <name>
 
346
                    <graphics>
 
347
                        <offset x="127" y="54"/>
 
348
                    </graphics>
 
349
                    <text>Shared_handleTransfusionReaction_END</text>
 
350
                </name>
 
351
                <initialMarking>
 
352
                    <text>0</text>
 
353
                </initialMarking>
 
354
            </place>
 
355
            <place id="Shared_interrupTransfusion_START">
 
356
                <graphics>
 
357
                    <position x="45" y="90"/>
 
358
                </graphics>
 
359
                <name>
 
360
                    <graphics>
 
361
                        <offset x="125" y="-27"/>
 
362
                    </graphics>
 
363
                    <text>Shared_interrupTransfusion_START</text>
 
364
                </name>
 
365
                <initialMarking>
 
366
                    <text>0</text>
 
367
                </initialMarking>
 
368
            </place>
 
369
            <place id="Shared_interrupTransfusion_END">
 
370
                <graphics>
 
371
                    <position x="765" y="90"/>
 
372
                </graphics>
 
373
                <name>
 
374
                    <graphics>
 
375
                        <offset x="101" y="-15"/>
 
376
                    </graphics>
 
377
                    <text>Shared_interrupTransfusion_END</text>
 
378
                </name>
 
379
                <initialMarking>
 
380
                    <text>0</text>
 
381
                </initialMarking>
 
382
            </place>
 
383
            <place id="bloodTransfusionWorkflow_01_duration1">
 
384
                <graphics>
 
385
                    <position x="240" y="105"/>
 
386
                </graphics>
 
387
                <name>
 
388
                    <graphics>
 
389
                        <offset x="31" y="-2"/>
 
390
                    </graphics>
 
391
                    <text>bloodTransfusionWorkflow_01_duration1</text>
 
392
                </name>
 
393
                <initialMarking>
 
394
                    <text>0</text>
 
395
                </initialMarking>
 
396
            </place>
 
397
            <place id="bloodTransfusionWorkflow_01_duratio1_2">
 
398
                <graphics>
 
399
                    <position x="450" y="105"/>
 
400
                </graphics>
 
401
                <name>
 
402
                    <graphics>
 
403
                        <offset x="39" y="-6"/>
 
404
                    </graphics>
 
405
                    <text>bloodTransfusionWorkflow_01_duratio1_2</text>
 
406
                </name>
 
407
                <initialMarking>
 
408
                    <text>0</text>
 
409
                </initialMarking>
 
410
            </place>
 
411
            <place id="bloodTransfusionWorkflow_01_startCheckout">
 
412
                <graphics>
 
413
                    <position x="765" y="375"/>
 
414
                </graphics>
 
415
                <name>
 
416
                    <graphics>
 
417
                        <offset x="-5" y="5"/>
 
418
                    </graphics>
 
419
                    <text>bloodTransfusionWorkflow_01_startCheckout</text>
 
420
                </name>
 
421
                <initialMarking>
 
422
                    <text>0</text>
 
423
                </initialMarking>
 
424
            </place>
 
425
            <place id="bloodTransfusionWorkflow_01_done">
 
426
                <graphics>
 
427
                    <position x="765" y="210"/>
 
428
                </graphics>
 
429
                <name>
 
430
                    <graphics>
 
431
                        <offset x="-5" y="35"/>
 
432
                    </graphics>
 
433
                    <text>bloodTransfusionWorkflow_01_done</text>
 
434
                </name>
 
435
                <initialMarking>
 
436
                    <text>0</text>
 
437
                </initialMarking>
 
438
            </place>
 
439
            <place id="patientInfo_02_duration1">
 
440
                <graphics>
 
441
                    <position x="1335" y="90"/>
 
442
                </graphics>
 
443
                <name>
 
444
                    <graphics>
 
445
                        <offset x="36" y="-4"/>
 
446
                    </graphics>
 
447
                    <text>patientInfo_02_duration1</text>
 
448
                </name>
 
449
                <initialMarking>
 
450
                    <text>0</text>
 
451
                </initialMarking>
 
452
            </place>
 
453
            <place id="patientInfo_02_duration1_2">
 
454
                <graphics>
 
455
                    <position x="1575" y="90"/>
 
456
                </graphics>
 
457
                <name>
 
458
                    <graphics>
 
459
                        <offset x="43" y="-6"/>
 
460
                    </graphics>
 
461
                    <text>patientInfo_02_duration1_2</text>
 
462
                </name>
 
463
                <initialMarking>
 
464
                    <text>0</text>
 
465
                </initialMarking>
 
466
            </place>
 
467
            <place id="patientInfo_02_firstPatientInfo_START">
 
468
                <graphics>
 
469
                    <position x="1230" y="210"/>
 
470
                </graphics>
 
471
                <name>
 
472
                    <graphics>
 
473
                        <offset x="35" y="42"/>
 
474
                    </graphics>
 
475
                    <text>patientInfo_02_firstPatientInfo_START</text>
 
476
                </name>
 
477
                <initialMarking>
 
478
                    <text>0</text>
 
479
                </initialMarking>
 
480
            </place>
 
481
            <place id="patientInfo_02_firstPatientInfo_END">
 
482
                <graphics>
 
483
                    <position x="1395" y="210"/>
 
484
                </graphics>
 
485
                <name>
 
486
                    <graphics>
 
487
                        <offset x="75" y="44"/>
 
488
                    </graphics>
 
489
                    <text>patientInfo_02_firstPatientInfo_END</text>
 
490
                </name>
 
491
                <initialMarking>
 
492
                    <text>0</text>
 
493
                </initialMarking>
 
494
            </place>
 
495
            <place id="patientInfo_02_checkConsent_START">
 
496
                <graphics>
 
497
                    <position x="1245" y="420"/>
 
498
                </graphics>
 
499
                <name>
 
500
                    <graphics>
 
501
                        <offset x="-5" y="35"/>
 
502
                    </graphics>
 
503
                    <text>patientInfo_02_checkConsent_START</text>
 
504
                </name>
 
505
                <initialMarking>
 
506
                    <text>0</text>
 
507
                </initialMarking>
 
508
            </place>
 
509
            <place id="patientInfo_02_checkConsent_END">
 
510
                <graphics>
 
511
                    <position x="1890" y="435"/>
 
512
                </graphics>
 
513
                <name>
 
514
                    <graphics>
 
515
                        <offset x="-7" y="15"/>
 
516
                    </graphics>
 
517
                    <text>patientInfo_02_checkConsent_END</text>
 
518
                </name>
 
519
                <initialMarking>
 
520
                    <text>0</text>
 
521
                </initialMarking>
 
522
            </place>
 
523
            <place id="patientInfo_02_duration">
 
524
                <graphics>
 
525
                    <position x="1470" y="420"/>
 
526
                </graphics>
 
527
                <name>
 
528
                    <graphics>
 
529
                        <offset x="39" y="-10"/>
 
530
                    </graphics>
 
531
                    <text>patientInfo_02_duration</text>
 
532
                </name>
 
533
                <initialMarking>
 
534
                    <text>0</text>
 
535
                </initialMarking>
 
536
            </place>
 
537
            <place id="patientInfo_02_patientDisagree_START">
 
538
                <graphics>
 
539
                    <position x="1425" y="345"/>
 
540
                </graphics>
 
541
                <name>
 
542
                    <graphics>
 
543
                        <offset x="81" y="-8"/>
 
544
                    </graphics>
 
545
                    <text>patientInfo_02_patientDisagree_START</text>
 
546
                </name>
 
547
                <initialMarking>
 
548
                    <text>0</text>
 
549
                </initialMarking>
 
550
            </place>
 
551
            <place id="patientInfo_02_patientAgree_START">
 
552
                <graphics>
 
553
                    <position x="1425" y="510"/>
 
554
                </graphics>
 
555
                <name>
 
556
                    <graphics>
 
557
                        <offset x="76" y="48"/>
 
558
                    </graphics>
 
559
                    <text>patientInfo_02_patientAgree_START</text>
 
560
                </name>
 
561
                <initialMarking>
 
562
                    <text>0</text>
 
563
                </initialMarking>
 
564
            </place>
 
565
            <place id="patientInfo_02_patientAgree_END">
 
566
                <graphics>
 
567
                    <position x="1620" y="510"/>
 
568
                </graphics>
 
569
                <name>
 
570
                    <graphics>
 
571
                        <offset x="57" y="50"/>
 
572
                    </graphics>
 
573
                    <text>patientInfo_02_patientAgree_END</text>
 
574
                </name>
 
575
                <initialMarking>
 
576
                    <text>0</text>
 
577
                </initialMarking>
 
578
            </place>
 
579
            <place id="prepareTransfusion_03_duration1">
 
580
                <graphics>
 
581
                    <position x="165" y="630"/>
 
582
                </graphics>
 
583
                <name>
 
584
                    <graphics>
 
585
                        <offset x="48" y="-3"/>
 
586
                    </graphics>
 
587
                    <text>prepareTransfusion_03_duration1</text>
 
588
                </name>
 
589
                <initialMarking>
 
590
                    <text>0</text>
 
591
                </initialMarking>
 
592
            </place>
 
593
            <place id="prepareTransfusion_03_duration1_2">
 
594
                <graphics>
 
595
                    <position x="330" y="630"/>
 
596
                </graphics>
 
597
                <name>
 
598
                    <graphics>
 
599
                        <offset x="49" y="-2"/>
 
600
                    </graphics>
 
601
                    <text>prepareTransfusion_03_duration1_2</text>
 
602
                </name>
 
603
                <initialMarking>
 
604
                    <text>0</text>
 
605
                </initialMarking>
 
606
            </place>
 
607
            <place id="prepareTransfusion_03_duration_1_2_3">
 
608
                <graphics>
 
609
                    <position x="525" y="630"/>
 
610
                </graphics>
 
611
                <name>
 
612
                    <graphics>
 
613
                        <offset x="37" y="-7"/>
 
614
                    </graphics>
 
615
                    <text>prepareTransfusion_03_duration_1_2_3</text>
 
616
                </name>
 
617
                <initialMarking>
 
618
                    <text>0</text>
 
619
                </initialMarking>
 
620
            </place>
 
621
            <place id="completeOrderDoctor_04_orderComplete_START">
 
622
                <graphics>
 
623
                    <position x="1410" y="675"/>
 
624
                </graphics>
 
625
                <name>
 
626
                    <graphics>
 
627
                        <offset x="87" y="-22"/>
 
628
                    </graphics>
 
629
                    <text>completeOrderDoctor_04_orderComplete_START</text>
 
630
                </name>
 
631
                <initialMarking>
 
632
                    <text>0</text>
 
633
                </initialMarking>
 
634
            </place>
 
635
            <place id="completeOrderDoctor_04_orderIncomplete_START">
 
636
                <graphics>
 
637
                    <position x="1410" y="855"/>
 
638
                </graphics>
 
639
                <name>
 
640
                    <graphics>
 
641
                        <offset x="66" y="54"/>
 
642
                    </graphics>
 
643
                    <text>completeOrderDoctor_04_orderIncomplete_START</text>
 
644
                </name>
 
645
                <initialMarking>
 
646
                    <text>0</text>
 
647
                </initialMarking>
 
648
            </place>
 
649
            <place id="completeOrderDoctor_04_duration">
 
650
                <graphics>
 
651
                    <position x="1470" y="765"/>
 
652
                </graphics>
 
653
                <name>
 
654
                    <graphics>
 
655
                        <offset x="-5" y="35"/>
 
656
                    </graphics>
 
657
                    <text>completeOrderDoctor_04_duration</text>
 
658
                </name>
 
659
                <initialMarking>
 
660
                    <text>0</text>
 
661
                </initialMarking>
 
662
            </place>
 
663
            <place id="completeOrderDoctor_04_orderComplete_END">
 
664
                <graphics>
 
665
                    <position x="1620" y="675"/>
 
666
                </graphics>
 
667
                <name>
 
668
                    <graphics>
 
669
                        <offset x="74" y="-16"/>
 
670
                    </graphics>
 
671
                    <text>completeOrderDoctor_04_orderComplete_END</text>
 
672
                </name>
 
673
                <initialMarking>
 
674
                    <text>0</text>
 
675
                </initialMarking>
 
676
            </place>
 
677
            <place id="preTransfusionChecks_05_aquireRoom_START">
 
678
                <graphics>
 
679
                    <position x="195" y="1395"/>
 
680
                </graphics>
 
681
                <name>
 
682
                    <graphics>
 
683
                        <offset x="58" y="-8"/>
 
684
                    </graphics>
 
685
                    <text>preTransfusionChecks_05_aquireRoom_START</text>
 
686
                </name>
 
687
                <initialMarking>
 
688
                    <text>0</text>
 
689
                </initialMarking>
 
690
            </place>
 
691
            <place id="preTransfusionChecks_05_aquireRoom_END">
 
692
                <graphics>
 
693
                    <position x="345" y="1395"/>
 
694
                </graphics>
 
695
                <name>
 
696
                    <graphics>
 
697
                        <offset x="62" y="-8"/>
 
698
                    </graphics>
 
699
                    <text>preTransfusionChecks_05_aquireRoom_END</text>
 
700
                </name>
 
701
                <initialMarking>
 
702
                    <text>0</text>
 
703
                </initialMarking>
 
704
            </place>
 
705
            <place id="preTransfusionChecks_05_done2">
 
706
                <graphics>
 
707
                    <position x="540" y="1395"/>
 
708
                </graphics>
 
709
                <name>
 
710
                    <graphics>
 
711
                        <offset x="-5" y="35"/>
 
712
                    </graphics>
 
713
                    <text>preTransfusionChecks_05_done2</text>
 
714
                </name>
 
715
                <initialMarking>
 
716
                    <text>0</text>
 
717
                </initialMarking>
 
718
            </place>
 
719
            <place id="preTransfusionChecks_05_done1">
 
720
                <graphics>
 
721
                    <position x="540" y="1575"/>
 
722
                </graphics>
 
723
                <name>
 
724
                    <graphics>
 
725
                        <offset x="-5" y="35"/>
 
726
                    </graphics>
 
727
                    <text>preTransfusionChecks_05_done1</text>
 
728
                </name>
 
729
                <initialMarking>
 
730
                    <text>0</text>
 
731
                </initialMarking>
 
732
            </place>
 
733
            <place id="preTransfusionChecks_05_duration">
 
734
                <graphics>
 
735
                    <position x="795" y="1200"/>
 
736
                </graphics>
 
737
                <name>
 
738
                    <graphics>
 
739
                        <offset x="-5" y="35"/>
 
740
                    </graphics>
 
741
                    <text>preTransfusionChecks_05_duration</text>
 
742
                </name>
 
743
                <initialMarking>
 
744
                    <text>0</text>
 
745
                </initialMarking>
 
746
            </place>
 
747
            <place id="obtainBloodProduct_06_duration1">
 
748
                <graphics>
 
749
                    <position x="1410" y="1305"/>
 
750
                </graphics>
 
751
                <name>
 
752
                    <graphics>
 
753
                        <offset x="29" y="-2"/>
 
754
                    </graphics>
 
755
                    <text>obtainBloodProduct_06_duration1</text>
 
756
                </name>
 
757
                <initialMarking>
 
758
                    <text>0</text>
 
759
                </initialMarking>
 
760
            </place>
 
761
            <place id="obtainBloodProduct_06_duration1_2">
 
762
                <graphics>
 
763
                    <position x="1635" y="1305"/>
 
764
                </graphics>
 
765
                <name>
 
766
                    <graphics>
 
767
                        <offset x="50" y="-4"/>
 
768
                    </graphics>
 
769
                    <text>obtainBloodProduct_06_duration1_2</text>
 
770
                </name>
 
771
                <initialMarking>
 
772
                    <text>0</text>
 
773
                </initialMarking>
 
774
            </place>
 
775
            <place id="obtainBloodProduct_06_releaseBloodProduct_START">
 
776
                <graphics>
 
777
                    <position x="1590" y="1425"/>
 
778
                </graphics>
 
779
                <name>
 
780
                    <graphics>
 
781
                        <offset x="75" y="-5"/>
 
782
                    </graphics>
 
783
                    <text>obtainBloodProduct_06_releaseBloodProduct_START</text>
 
784
                </name>
 
785
                <initialMarking>
 
786
                    <text>0</text>
 
787
                </initialMarking>
 
788
            </place>
 
789
            <place id="obtainBloodProduct_06_releaseBloodProduct_END">
 
790
                <graphics>
 
791
                    <position x="1755" y="1425"/>
 
792
                </graphics>
 
793
                <name>
 
794
                    <graphics>
 
795
                        <offset x="139" y="40"/>
 
796
                    </graphics>
 
797
                    <text>obtainBloodProduct_06_releaseBloodProduct_END</text>
 
798
                </name>
 
799
                <initialMarking>
 
800
                    <text>0</text>
 
801
                </initialMarking>
 
802
            </place>
 
803
            <place id="checkForTypeAndScreen_07_duration">
 
804
                <graphics>
 
805
                    <position x="255" y="1800"/>
 
806
                </graphics>
 
807
                <name>
 
808
                    <graphics>
 
809
                        <offset x="37" y="-2"/>
 
810
                    </graphics>
 
811
                    <text>checkForTypeAndScreen_07_duration</text>
 
812
                </name>
 
813
                <initialMarking>
 
814
                    <text>0</text>
 
815
                </initialMarking>
 
816
            </place>
 
817
            <place id="checkForTypeAndScreen_07_typeAndScreenAvailable_START">
 
818
                <graphics>
 
819
                    <position x="135" y="1905"/>
 
820
                </graphics>
 
821
                <name>
 
822
                    <graphics>
 
823
                        <offset x="46" y="41"/>
 
824
                    </graphics>
 
825
                    <text>checkForTypeAndScreen_07_typeAndScreenAvailable_START</text>
 
826
                </name>
 
827
                <initialMarking>
 
828
                    <text>0</text>
 
829
                </initialMarking>
 
830
            </place>
 
831
            <place id="checkForTypeAndScreen_07_typeAndScreenAvailable_END">
 
832
                <graphics>
 
833
                    <position x="330" y="1905"/>
 
834
                </graphics>
 
835
                <name>
 
836
                    <graphics>
 
837
                        <offset x="101" y="45"/>
 
838
                    </graphics>
 
839
                    <text>checkForTypeAndScreen_07_typeAndScreenAvailable_END</text>
 
840
                </name>
 
841
                <initialMarking>
 
842
                    <text>0</text>
 
843
                </initialMarking>
 
844
            </place>
 
845
            <place id="checkForTypeAndScreen_07_fail1">
 
846
                <graphics>
 
847
                    <position x="330" y="1995"/>
 
848
                </graphics>
 
849
                <name>
 
850
                    <graphics>
 
851
                        <offset x="26" y="47"/>
 
852
                    </graphics>
 
853
                    <text>checkForTypeAndScreen_07_fail1</text>
 
854
                </name>
 
855
                <initialMarking>
 
856
                    <text>0</text>
 
857
                </initialMarking>
 
858
            </place>
 
859
            <place id="checkForTypeAndScreen_07_obtainTypeAndScreen_START">
 
860
                <graphics>
 
861
                    <position x="165" y="2160"/>
 
862
                </graphics>
 
863
                <name>
 
864
                    <graphics>
 
865
                        <offset x="-5" y="35"/>
 
866
                    </graphics>
 
867
                    <text>checkForTypeAndScreen_07_obtainTypeAndScreen_START</text>
 
868
                </name>
 
869
                <initialMarking>
 
870
                    <text>0</text>
 
871
                </initialMarking>
 
872
            </place>
 
873
            <place id="checkForTypeAndScreen_07_obtainTypeAndScreen_END">
 
874
                <graphics>
 
875
                    <position x="690" y="2160"/>
 
876
                </graphics>
 
877
                <name>
 
878
                    <graphics>
 
879
                        <offset x="153" y="45"/>
 
880
                    </graphics>
 
881
                    <text>checkForTypeAndScreen_07_obtainTypeAndScreen_END</text>
 
882
                </name>
 
883
                <initialMarking>
 
884
                    <text>0</text>
 
885
                </initialMarking>
 
886
            </place>
 
887
            <place id="checkForTypeAndScreen_07_duration1">
 
888
                <graphics>
 
889
                    <position x="330" y="2160"/>
 
890
                </graphics>
 
891
                <name>
 
892
                    <graphics>
 
893
                        <offset x="31" y="-4"/>
 
894
                    </graphics>
 
895
                    <text>checkForTypeAndScreen_07_duration1</text>
 
896
                </name>
 
897
                <initialMarking>
 
898
                    <text>0</text>
 
899
                </initialMarking>
 
900
            </place>
 
901
            <place id="checkForTypeAndScreen_07_duration1_2">
 
902
                <graphics>
 
903
                    <position x="495" y="2160"/>
 
904
                </graphics>
 
905
                <name>
 
906
                    <graphics>
 
907
                        <offset x="45" y="-6"/>
 
908
                    </graphics>
 
909
                    <text>checkForTypeAndScreen_07_duration1_2</text>
 
910
                </name>
 
911
                <initialMarking>
 
912
                    <text>0</text>
 
913
                </initialMarking>
 
914
            </place>
 
915
            <place id="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_START">
 
916
                <graphics>
 
917
                    <position x="195" y="2280"/>
 
918
                </graphics>
 
919
                <name>
 
920
                    <graphics>
 
921
                        <offset x="90" y="-11"/>
 
922
                    </graphics>
 
923
                    <text>checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_START</text>
 
924
                </name>
 
925
                <initialMarking>
 
926
                    <text>0</text>
 
927
                </initialMarking>
 
928
            </place>
 
929
            <place id="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_END">
 
930
                <graphics>
 
931
                    <position x="345" y="2280"/>
 
932
                </graphics>
 
933
                <name>
 
934
                    <graphics>
 
935
                        <offset x="177" y="53"/>
 
936
                    </graphics>
 
937
                    <text>checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_END</text>
 
938
                </name>
 
939
                <initialMarking>
 
940
                    <text>0</text>
 
941
                </initialMarking>
 
942
            </place>
 
943
            <place id="checkForTypeAndScreen_07_getValidation_START">
 
944
                <graphics>
 
945
                    <position x="450" y="2280"/>
 
946
                </graphics>
 
947
                <name>
 
948
                    <graphics>
 
949
                        <offset x="78" y="-18"/>
 
950
                    </graphics>
 
951
                    <text>checkForTypeAndScreen_07_getValidation_START</text>
 
952
                </name>
 
953
                <initialMarking>
 
954
                    <text>0</text>
 
955
                </initialMarking>
 
956
            </place>
 
957
            <place id="checkForTypeAndScreen_07_getValidation_END">
 
958
                <graphics>
 
959
                    <position x="585" y="2280"/>
 
960
                </graphics>
 
961
                <name>
 
962
                    <graphics>
 
963
                        <offset x="125" y="38"/>
 
964
                    </graphics>
 
965
                    <text>checkForTypeAndScreen_07_getValidation_END</text>
 
966
                </name>
 
967
                <initialMarking>
 
968
                    <text>0</text>
 
969
                </initialMarking>
 
970
            </place>
 
971
            <place id="performTransfusion_08_duration1">
 
972
                <graphics>
 
973
                    <position x="1290" y="1830"/>
 
974
                </graphics>
 
975
                <name>
 
976
                    <graphics>
 
977
                        <offset x="52" y="-5"/>
 
978
                    </graphics>
 
979
                    <text>performTransfusion_08_duration1</text>
 
980
                </name>
 
981
                <initialMarking>
 
982
                    <text>0</text>
 
983
                </initialMarking>
 
984
            </place>
 
985
            <place id="performTransfusion_08_duration1_2">
 
986
                <graphics>
 
987
                    <position x="1440" y="1830"/>
 
988
                </graphics>
 
989
                <name>
 
990
                    <graphics>
 
991
                        <offset x="55" y="-3"/>
 
992
                    </graphics>
 
993
                    <text>performTransfusion_08_duration1_2</text>
 
994
                </name>
 
995
                <initialMarking>
 
996
                    <text>0</text>
 
997
                </initialMarking>
 
998
            </place>
 
999
            <place id="performTransfusion_08_duration1_2_3">
 
1000
                <graphics>
 
1001
                    <position x="1590" y="1830"/>
 
1002
                </graphics>
 
1003
                <name>
 
1004
                    <graphics>
 
1005
                        <offset x="60" y="-2"/>
 
1006
                    </graphics>
 
1007
                    <text>performTransfusion_08_duration1_2_3</text>
 
1008
                </name>
 
1009
                <initialMarking>
 
1010
                    <text>0</text>
 
1011
                </initialMarking>
 
1012
            </place>
 
1013
            <place id="performTransfusion_08_duration1_2_3_4">
 
1014
                <graphics>
 
1015
                    <position x="1740" y="1830"/>
 
1016
                </graphics>
 
1017
                <name>
 
1018
                    <graphics>
 
1019
                        <offset x="60" y="-5"/>
 
1020
                    </graphics>
 
1021
                    <text>performTransfusion_08_duration1_2_3_4</text>
 
1022
                </name>
 
1023
                <initialMarking>
 
1024
                    <text>0</text>
 
1025
                </initialMarking>
 
1026
            </place>
 
1027
            <place id="performTransfusion_08_beginInfusionOfBloodProduct_START">
 
1028
                <graphics>
 
1029
                    <position x="1140" y="1965"/>
 
1030
                </graphics>
 
1031
                <name>
 
1032
                    <graphics>
 
1033
                        <offset x="154" y="-9"/>
 
1034
                    </graphics>
 
1035
                    <text>performTransfusion_08_beginInfusionOfBloodProduct_START</text>
 
1036
                </name>
 
1037
                <initialMarking>
 
1038
                    <text>0</text>
 
1039
                </initialMarking>
 
1040
            </place>
 
1041
            <place id="performTransfusion_08_beginInfusionOfBloodProduct_END">
 
1042
                <graphics>
 
1043
                    <position x="1290" y="1965"/>
 
1044
                </graphics>
 
1045
                <name>
 
1046
                    <graphics>
 
1047
                        <offset x="141" y="53"/>
 
1048
                    </graphics>
 
1049
                    <text>performTransfusion_08_beginInfusionOfBloodProduct_END</text>
 
1050
                </name>
 
1051
                <initialMarking>
 
1052
                    <text>0</text>
 
1053
                </initialMarking>
 
1054
            </place>
 
1055
            <place id="performTransfusion_08_releaseRoom_START">
 
1056
                <graphics>
 
1057
                    <position x="1530" y="1965"/>
 
1058
                </graphics>
 
1059
                <name>
 
1060
                    <graphics>
 
1061
                        <offset x="73" y="52"/>
 
1062
                    </graphics>
 
1063
                    <text>performTransfusion_08_releaseRoom_START</text>
 
1064
                </name>
 
1065
                <initialMarking>
 
1066
                    <text>0</text>
 
1067
                </initialMarking>
 
1068
            </place>
 
1069
            <place id="performTransfusion_08_releaseRoom_END">
 
1070
                <graphics>
 
1071
                    <position x="1665" y="1965"/>
 
1072
                </graphics>
 
1073
                <name>
 
1074
                    <graphics>
 
1075
                        <offset x="58" y="48"/>
 
1076
                    </graphics>
 
1077
                    <text>performTransfusion_08_releaseRoom_END</text>
 
1078
                </name>
 
1079
                <initialMarking>
 
1080
                    <text>0</text>
 
1081
                </initialMarking>
 
1082
            </place>
 
1083
            <place id="performTransfusion_08_checkoutPatientSuccess_START">
 
1084
                <graphics>
 
1085
                    <position x="1785" y="2040"/>
 
1086
                </graphics>
 
1087
                <name>
 
1088
                    <graphics>
 
1089
                        <offset x="-5" y="35"/>
 
1090
                    </graphics>
 
1091
                    <text>performTransfusion_08_checkoutPatientSuccess_START</text>
 
1092
                </name>
 
1093
                <initialMarking>
 
1094
                    <text>0</text>
 
1095
                </initialMarking>
 
1096
            </place>
 
1097
            <place id="performTransfusion_08_checkoutPatientSuccess_END">
 
1098
                <graphics>
 
1099
                    <position x="1920" y="2040"/>
 
1100
                </graphics>
 
1101
                <name>
 
1102
                    <graphics>
 
1103
                        <offset x="53" y="58"/>
 
1104
                    </graphics>
 
1105
                    <text>performTransfusion_08_checkoutPatientSuccess_END</text>
 
1106
                </name>
 
1107
                <initialMarking>
 
1108
                    <text>0</text>
 
1109
                </initialMarking>
 
1110
            </place>
 
1111
            <place id="iterateAssessPatient_08A_P3">
 
1112
                <graphics>
 
1113
                    <position x="285" y="2535"/>
 
1114
                </graphics>
 
1115
                <name>
 
1116
                    <graphics>
 
1117
                        <offset x="11" y="35"/>
 
1118
                    </graphics>
 
1119
                    <text>iterateAssessPatient_08A_P3</text>
 
1120
                </name>
 
1121
                <initialMarking>
 
1122
                    <text>0</text>
 
1123
                </initialMarking>
 
1124
            </place>
 
1125
            <place id="iterateAssessPatient_08A_P5">
 
1126
                <graphics>
 
1127
                    <position x="465" y="2535"/>
 
1128
                </graphics>
 
1129
                <name>
 
1130
                    <graphics>
 
1131
                        <offset x="36" y="-8"/>
 
1132
                    </graphics>
 
1133
                    <text>iterateAssessPatient_08A_P5</text>
 
1134
                </name>
 
1135
                <initialMarking>
 
1136
                    <text>0</text>
 
1137
                </initialMarking>
 
1138
            </place>
 
1139
            <place id="iterateAssessPatient_08A_stopTransfusion_START">
 
1140
                <graphics>
 
1141
                    <position x="690" y="2535"/>
 
1142
                </graphics>
 
1143
                <name>
 
1144
                    <graphics>
 
1145
                        <offset x="101" y="-20"/>
 
1146
                    </graphics>
 
1147
                    <text>iterateAssessPatient_08A_stopTransfusion_START</text>
 
1148
                </name>
 
1149
                <initialMarking>
 
1150
                    <text>0</text>
 
1151
                </initialMarking>
 
1152
            </place>
 
1153
            <place id="iterateAssessPatient_08A_stopTransfusion_END">
 
1154
                <graphics>
 
1155
                    <position x="885" y="2535"/>
 
1156
                </graphics>
 
1157
                <name>
 
1158
                    <graphics>
 
1159
                        <offset x="98" y="-22"/>
 
1160
                    </graphics>
 
1161
                    <text>iterateAssessPatient_08A_stopTransfusion_END</text>
 
1162
                </name>
 
1163
                <initialMarking>
 
1164
                    <text>0</text>
 
1165
                </initialMarking>
 
1166
            </place>
 
1167
            <place id="iterateAssessPatient_08A_timer">
 
1168
                <graphics>
 
1169
                    <position x="165" y="2430"/>
 
1170
                </graphics>
 
1171
                <name>
 
1172
                    <graphics>
 
1173
                        <offset x="35" y="-23"/>
 
1174
                    </graphics>
 
1175
                    <text>iterateAssessPatient_08A_timer</text>
 
1176
                </name>
 
1177
                <initialMarking>
 
1178
                    <text>0</text>
 
1179
                </initialMarking>
 
1180
            </place>
 
1181
            <place id="assessPatient_09_evaluatePatientClinicallyOK_START">
 
1182
                <graphics>
 
1183
                    <position x="1290" y="2520"/>
 
1184
                </graphics>
 
1185
                <name>
 
1186
                    <graphics>
 
1187
                        <offset x="-7" y="20"/>
 
1188
                    </graphics>
 
1189
                    <text>assessPatient_09_evaluatePatientClinicallyOK_START</text>
 
1190
                </name>
 
1191
                <initialMarking>
 
1192
                    <text>0</text>
 
1193
                </initialMarking>
 
1194
            </place>
 
1195
            <place id="assessPatient_09_evaluatePatientClinicallyOK_END">
 
1196
                <graphics>
 
1197
                    <position x="1530" y="2520"/>
 
1198
                </graphics>
 
1199
                <name>
 
1200
                    <graphics>
 
1201
                        <offset x="153" y="-17"/>
 
1202
                    </graphics>
 
1203
                    <text>assessPatient_09_evaluatePatientClinicallyOK_END</text>
 
1204
                </name>
 
1205
                <initialMarking>
 
1206
                    <text>0</text>
 
1207
                </initialMarking>
 
1208
            </place>
 
1209
            <place id="assessPatient_09_duration">
 
1210
                <graphics>
 
1211
                    <position x="1410" y="2415"/>
 
1212
                </graphics>
 
1213
                <name>
 
1214
                    <graphics>
 
1215
                        <offset x="32" y="-5"/>
 
1216
                    </graphics>
 
1217
                    <text>assessPatient_09_duration</text>
 
1218
                </name>
 
1219
                <initialMarking>
 
1220
                    <text>0</text>
 
1221
                </initialMarking>
 
1222
            </place>
 
1223
            <place id="assessPatient_09_fail_patientNOK">
 
1224
                <graphics>
 
1225
                    <position x="1530" y="2640"/>
 
1226
                </graphics>
 
1227
                <name>
 
1228
                    <graphics>
 
1229
                        <offset x="-5" y="35"/>
 
1230
                    </graphics>
 
1231
                    <text>assessPatient_09_fail_patientNOK</text>
 
1232
                </name>
 
1233
                <initialMarking>
 
1234
                    <text>0</text>
 
1235
                </initialMarking>
 
1236
            </place>
 
1237
            <place id="handleTransfusionReaction_10_adjustIVaccess_START">
 
1238
                <graphics>
 
1239
                    <position x="165" y="3120"/>
 
1240
                </graphics>
 
1241
                <name>
 
1242
                    <graphics>
 
1243
                        <offset x="54" y="43"/>
 
1244
                    </graphics>
 
1245
                    <text>handleTransfusionReaction_10_adjustIVaccess_START</text>
 
1246
                </name>
 
1247
                <initialMarking>
 
1248
                    <text>0</text>
 
1249
                </initialMarking>
 
1250
            </place>
 
1251
            <place id="handleTransfusionReaction_10_adjustIVaccess_END">
 
1252
                <graphics>
 
1253
                    <position x="375" y="3120"/>
 
1254
                </graphics>
 
1255
                <name>
 
1256
                    <graphics>
 
1257
                        <offset x="67" y="49"/>
 
1258
                    </graphics>
 
1259
                    <text>handleTransfusionReaction_10_adjustIVaccess_END</text>
 
1260
                </name>
 
1261
                <initialMarking>
 
1262
                    <text>0</text>
 
1263
                </initialMarking>
 
1264
            </place>
 
1265
            <place id="handleTransfusionReaction_10_duration">
 
1266
                <graphics>
 
1267
                    <position x="315" y="2985"/>
 
1268
                </graphics>
 
1269
                <name>
 
1270
                    <graphics>
 
1271
                        <offset x="39" y="-2"/>
 
1272
                    </graphics>
 
1273
                    <text>handleTransfusionReaction_10_duration</text>
 
1274
                </name>
 
1275
                <initialMarking>
 
1276
                    <text>0</text>
 
1277
                </initialMarking>
 
1278
            </place>
 
1279
            <place id="handleTransfusionReaction_10_fail_adjustIVaccess">
 
1280
                <graphics>
 
1281
                    <position x="375" y="3240"/>
 
1282
                </graphics>
 
1283
                <name>
 
1284
                    <graphics>
 
1285
                        <offset x="80" y="55"/>
 
1286
                    </graphics>
 
1287
                    <text>handleTransfusionReaction_10_fail_adjustIVaccess</text>
 
1288
                </name>
 
1289
                <initialMarking>
 
1290
                    <text>0</text>
 
1291
                </initialMarking>
 
1292
            </place>
 
1293
            <place id="interruptTransfusion_11_duration1">
 
1294
                <graphics>
 
1295
                    <position x="1320" y="2940"/>
 
1296
                </graphics>
 
1297
                <name>
 
1298
                    <graphics>
 
1299
                        <offset x="40" y="-1"/>
 
1300
                    </graphics>
 
1301
                    <text>interruptTransfusion_11_duration1</text>
 
1302
                </name>
 
1303
                <initialMarking>
 
1304
                    <text>0</text>
 
1305
                </initialMarking>
 
1306
            </place>
 
1307
            <place id="interruptTransfusion_11_duration1_2">
 
1308
                <graphics>
 
1309
                    <position x="1500" y="2940"/>
 
1310
                </graphics>
 
1311
                <name>
 
1312
                    <graphics>
 
1313
                        <offset x="48" y="1"/>
 
1314
                    </graphics>
 
1315
                    <text>interruptTransfusion_11_duration1_2</text>
 
1316
                </name>
 
1317
                <initialMarking>
 
1318
                    <text>0</text>
 
1319
                </initialMarking>
 
1320
            </place>
 
1321
            <place id="interruptTransfusion_11_duration1_2_3">
 
1322
                <graphics>
 
1323
                    <position x="1665" y="2940"/>
 
1324
                </graphics>
 
1325
                <name>
 
1326
                    <graphics>
 
1327
                        <offset x="65" y="-3"/>
 
1328
                    </graphics>
 
1329
                    <text>interruptTransfusion_11_duration1_2_3</text>
 
1330
                </name>
 
1331
                <initialMarking>
 
1332
                    <text>0</text>
 
1333
                </initialMarking>
 
1334
            </place>
 
1335
            <place id="interruptTransfusion_11_stopInfusion_START">
 
1336
                <graphics>
 
1337
                    <position x="1170" y="3090"/>
 
1338
                </graphics>
 
1339
                <name>
 
1340
                    <graphics>
 
1341
                        <offset x="58" y="47"/>
 
1342
                    </graphics>
 
1343
                    <text>interruptTransfusion_11_stopInfusion_START</text>
 
1344
                </name>
 
1345
                <initialMarking>
 
1346
                    <text>0</text>
 
1347
                </initialMarking>
 
1348
            </place>
 
1349
            <place id="interruptTransfusion_11_stopInfusion_END">
 
1350
                <graphics>
 
1351
                    <position x="1320" y="3090"/>
 
1352
                </graphics>
 
1353
                <name>
 
1354
                    <graphics>
 
1355
                        <offset x="61" y="43"/>
 
1356
                    </graphics>
 
1357
                    <text>interruptTransfusion_11_stopInfusion_END</text>
 
1358
                </name>
 
1359
                <initialMarking>
 
1360
                    <text>0</text>
 
1361
                </initialMarking>
 
1362
            </place>
 
1363
            <place id="interruptTransfusion_11_informDoctor_START">
 
1364
                <graphics>
 
1365
                    <position x="1425" y="3090"/>
 
1366
                </graphics>
 
1367
                <name>
 
1368
                    <graphics>
 
1369
                        <offset x="95" y="44"/>
 
1370
                    </graphics>
 
1371
                    <text>interruptTransfusion_11_informDoctor_START</text>
 
1372
                </name>
 
1373
                <initialMarking>
 
1374
                    <text>0</text>
 
1375
                </initialMarking>
 
1376
            </place>
 
1377
            <place id="interruptTransfusion_11_informDoctor_END">
 
1378
                <graphics>
 
1379
                    <position x="1545" y="3090"/>
 
1380
                </graphics>
 
1381
                <name>
 
1382
                    <graphics>
 
1383
                        <offset x="89" y="49"/>
 
1384
                    </graphics>
 
1385
                    <text>interruptTransfusion_11_informDoctor_END</text>
 
1386
                </name>
 
1387
                <initialMarking>
 
1388
                    <text>0</text>
 
1389
                </initialMarking>
 
1390
            </place>
 
1391
            <place id="interruptTransfusion_11_releaseRoom_START">
 
1392
                <graphics>
 
1393
                    <position x="1650" y="3090"/>
 
1394
                </graphics>
 
1395
                <name>
 
1396
                    <graphics>
 
1397
                        <offset x="53" y="-14"/>
 
1398
                    </graphics>
 
1399
                    <text>interruptTransfusion_11_releaseRoom_START</text>
 
1400
                </name>
 
1401
                <initialMarking>
 
1402
                    <text>0</text>
 
1403
                </initialMarking>
 
1404
            </place>
 
1405
            <place id="interruptTransfusion_11_releaseRoom_END">
 
1406
                <graphics>
 
1407
                    <position x="1800" y="3090"/>
 
1408
                </graphics>
 
1409
                <name>
 
1410
                    <graphics>
 
1411
                        <offset x="80" y="-16"/>
 
1412
                    </graphics>
 
1413
                    <text>interruptTransfusion_11_releaseRoom_END</text>
 
1414
                </name>
 
1415
                <initialMarking>
 
1416
                    <text>0</text>
 
1417
                </initialMarking>
 
1418
            </place>
 
1419
            <transition id="bloodTransfusionWorkflow_01_T0">
 
1420
                <name>
 
1421
                    <graphics>
 
1422
                        <offset x="-5" y="35"/>
 
1423
                    </graphics>
 
1424
                    <text>bloodTransfusionWorkflow_01_T0</text>
 
1425
                </name>
 
1426
                <graphics>
 
1427
                    <position x="150" y="105"/>
 
1428
                </graphics>
 
1429
            </transition>
 
1430
            <transition id="bloodTransfusionWorkflow_01_T1">
 
1431
                <name>
 
1432
                    <graphics>
 
1433
                        <offset x="-5" y="35"/>
 
1434
                    </graphics>
 
1435
                    <text>bloodTransfusionWorkflow_01_T1</text>
 
1436
                </name>
 
1437
                <graphics>
 
1438
                    <position x="345" y="105"/>
 
1439
                </graphics>
 
1440
            </transition>
 
1441
            <transition id="bloodTransfusionWorkflow_01_T2">
 
1442
                <name>
 
1443
                    <graphics>
 
1444
                        <offset x="-5" y="35"/>
 
1445
                    </graphics>
 
1446
                    <text>bloodTransfusionWorkflow_01_T2</text>
 
1447
                </name>
 
1448
                <graphics>
 
1449
                    <position x="540" y="105"/>
 
1450
                </graphics>
 
1451
            </transition>
 
1452
            <transition id="Shared_checkoutPatientWithoutTreatment">
 
1453
                <name>
 
1454
                    <graphics>
 
1455
                        <offset x="5" y="36"/>
 
1456
                    </graphics>
 
1457
                    <text>Shared_checkoutPatientWithoutTreatment</text>
 
1458
                </name>
 
1459
                <graphics>
 
1460
                    <position x="765" y="285"/>
 
1461
                </graphics>
 
1462
            </transition>
 
1463
            <transition id="bloodTransfusionWorkflow_01_exception1">
 
1464
                <name>
 
1465
                    <graphics>
 
1466
                        <offset x="-5" y="35"/>
 
1467
                    </graphics>
 
1468
                    <text>bloodTransfusionWorkflow_01_exception1</text>
 
1469
                </name>
 
1470
                <graphics>
 
1471
                    <position x="585" y="435"/>
 
1472
                </graphics>
 
1473
            </transition>
 
1474
            <transition id="bloodTransfusionWorkflow_01_exception2">
 
1475
                <name>
 
1476
                    <graphics>
 
1477
                        <offset x="-5" y="35"/>
 
1478
                    </graphics>
 
1479
                    <text>bloodTransfusionWorkflow_01_exception2</text>
 
1480
                </name>
 
1481
                <graphics>
 
1482
                    <position x="690" y="435"/>
 
1483
                </graphics>
 
1484
            </transition>
 
1485
            <transition id="bloodTransfusionWorkflow_01_exception3">
 
1486
                <name>
 
1487
                    <graphics>
 
1488
                        <offset x="-5" y="35"/>
 
1489
                    </graphics>
 
1490
                    <text>bloodTransfusionWorkflow_01_exception3</text>
 
1491
                </name>
 
1492
                <graphics>
 
1493
                    <position x="795" y="435"/>
 
1494
                </graphics>
 
1495
            </transition>
 
1496
            <transition id="bloodTransfusionWorkflow_01_finishWorkflowException">
 
1497
                <name>
 
1498
                    <graphics>
 
1499
                        <offset x="-11" y="21"/>
 
1500
                    </graphics>
 
1501
                    <text>bloodTransfusionWorkflow_01_finishWorkflowException</text>
 
1502
                </name>
 
1503
                <graphics>
 
1504
                    <position x="765" y="150"/>
 
1505
                </graphics>
 
1506
            </transition>
 
1507
            <transition id="patientInfo_02_T0">
 
1508
                <name>
 
1509
                    <graphics>
 
1510
                        <offset x="-5" y="35"/>
 
1511
                    </graphics>
 
1512
                    <text>patientInfo_02_T0</text>
 
1513
                </name>
 
1514
                <graphics>
 
1515
                    <position x="1230" y="90"/>
 
1516
                </graphics>
 
1517
            </transition>
 
1518
            <transition id="patientInfo_02_T1">
 
1519
                <name>
 
1520
                    <graphics>
 
1521
                        <offset x="-5" y="35"/>
 
1522
                    </graphics>
 
1523
                    <text>patientInfo_02_T1</text>
 
1524
                </name>
 
1525
                <graphics>
 
1526
                    <position x="1455" y="90"/>
 
1527
                </graphics>
 
1528
            </transition>
 
1529
            <transition id="patientInfo_02_T2">
 
1530
                <name>
 
1531
                    <graphics>
 
1532
                        <offset x="-5" y="35"/>
 
1533
                    </graphics>
 
1534
                    <text>patientInfo_02_T2</text>
 
1535
                </name>
 
1536
                <graphics>
 
1537
                    <position x="1740" y="90"/>
 
1538
                </graphics>
 
1539
            </transition>
 
1540
            <transition id="Shared_checkID">
 
1541
                <name>
 
1542
                    <graphics>
 
1543
                        <offset x="38" y="-9"/>
 
1544
                    </graphics>
 
1545
                    <text>Shared_checkID</text>
 
1546
                </name>
 
1547
                <graphics>
 
1548
                    <position x="1305" y="210"/>
 
1549
                </graphics>
 
1550
            </transition>
 
1551
            <transition id="patientInfo_02_fork1">
 
1552
                <name>
 
1553
                    <graphics>
 
1554
                        <offset x="-5" y="35"/>
 
1555
                    </graphics>
 
1556
                    <text>patientInfo_02_fork1</text>
 
1557
                </name>
 
1558
                <graphics>
 
1559
                    <position x="1335" y="345"/>
 
1560
                </graphics>
 
1561
            </transition>
 
1562
            <transition id="patientInfo_02_fork2">
 
1563
                <name>
 
1564
                    <graphics>
 
1565
                        <offset x="-5" y="35"/>
 
1566
                    </graphics>
 
1567
                    <text>patientInfo_02_fork2</text>
 
1568
                </name>
 
1569
                <graphics>
 
1570
                    <position x="1335" y="510"/>
 
1571
                </graphics>
 
1572
            </transition>
 
1573
            <transition id="patientInfo_02_patientDisagree">
 
1574
                <name>
 
1575
                    <graphics>
 
1576
                        <offset x="119" y="6"/>
 
1577
                    </graphics>
 
1578
                    <text>patientInfo_02_patientDisagree</text>
 
1579
                </name>
 
1580
                <graphics>
 
1581
                    <position x="1575" y="345"/>
 
1582
                </graphics>
 
1583
            </transition>
 
1584
            <transition id="patientInfo_02_join2">
 
1585
                <name>
 
1586
                    <graphics>
 
1587
                        <offset x="-5" y="35"/>
 
1588
                    </graphics>
 
1589
                    <text>patientInfo_02_join2</text>
 
1590
                </name>
 
1591
                <graphics>
 
1592
                    <position x="1740" y="510"/>
 
1593
                </graphics>
 
1594
            </transition>
 
1595
            <transition id="patientInfo_02_patientAgree">
 
1596
                <name>
 
1597
                    <graphics>
 
1598
                        <offset x="52" y="-11"/>
 
1599
                    </graphics>
 
1600
                    <text>patientInfo_02_patientAgree</text>
 
1601
                </name>
 
1602
                <graphics>
 
1603
                    <position x="1515" y="510"/>
 
1604
                </graphics>
 
1605
            </transition>
 
1606
            <transition id="prepareTransfusion_03_T0">
 
1607
                <name>
 
1608
                    <graphics>
 
1609
                        <offset x="-5" y="35"/>
 
1610
                    </graphics>
 
1611
                    <text>prepareTransfusion_03_T0</text>
 
1612
                </name>
 
1613
                <graphics>
 
1614
                    <position x="90" y="630"/>
 
1615
                </graphics>
 
1616
            </transition>
 
1617
            <transition id="prepareTransfusion_03_T1">
 
1618
                <name>
 
1619
                    <graphics>
 
1620
                        <offset x="-5" y="35"/>
 
1621
                    </graphics>
 
1622
                    <text>prepareTransfusion_03_T1</text>
 
1623
                </name>
 
1624
                <graphics>
 
1625
                    <position x="240" y="630"/>
 
1626
                </graphics>
 
1627
            </transition>
 
1628
            <transition id="prepareTransfusion_03_T2">
 
1629
                <name>
 
1630
                    <graphics>
 
1631
                        <offset x="-5" y="35"/>
 
1632
                    </graphics>
 
1633
                    <text>prepareTransfusion_03_T2</text>
 
1634
                </name>
 
1635
                <graphics>
 
1636
                    <position x="435" y="630"/>
 
1637
                </graphics>
 
1638
            </transition>
 
1639
            <transition id="prepareTransfusion_03_T3">
 
1640
                <name>
 
1641
                    <graphics>
 
1642
                        <offset x="-5" y="35"/>
 
1643
                    </graphics>
 
1644
                    <text>prepareTransfusion_03_T3</text>
 
1645
                </name>
 
1646
                <graphics>
 
1647
                    <position x="615" y="630"/>
 
1648
                </graphics>
 
1649
            </transition>
 
1650
            <transition id="completeOrderDoctor_04_fork1">
 
1651
                <name>
 
1652
                    <graphics>
 
1653
                        <offset x="-5" y="35"/>
 
1654
                    </graphics>
 
1655
                    <text>completeOrderDoctor_04_fork1</text>
 
1656
                </name>
 
1657
                <graphics>
 
1658
                    <position x="1305" y="675"/>
 
1659
                </graphics>
 
1660
            </transition>
 
1661
            <transition id="completeOrderDoctor_04_fork2">
 
1662
                <name>
 
1663
                    <graphics>
 
1664
                        <offset x="-5" y="35"/>
 
1665
                    </graphics>
 
1666
                    <text>completeOrderDoctor_04_fork2</text>
 
1667
                </name>
 
1668
                <graphics>
 
1669
                    <position x="1305" y="855"/>
 
1670
                </graphics>
 
1671
            </transition>
 
1672
            <transition id="completeOrderDoctor_04_orderComplete">
 
1673
                <name>
 
1674
                    <graphics>
 
1675
                        <offset x="55" y="-4"/>
 
1676
                    </graphics>
 
1677
                    <text>completeOrderDoctor_04_orderComplete</text>
 
1678
                </name>
 
1679
                <graphics>
 
1680
                    <position x="1515" y="675"/>
 
1681
                </graphics>
 
1682
            </transition>
 
1683
            <transition id="completeOrderDoctor_04_join1">
 
1684
                <name>
 
1685
                    <graphics>
 
1686
                        <offset x="30" y="-10"/>
 
1687
                    </graphics>
 
1688
                    <text>completeOrderDoctor_04_join1</text>
 
1689
                </name>
 
1690
                <graphics>
 
1691
                    <position x="1755" y="675"/>
 
1692
                </graphics>
 
1693
            </transition>
 
1694
            <transition id="completeOrderDoctor_04_orderIncomplete">
 
1695
                <name>
 
1696
                    <graphics>
 
1697
                        <offset x="100" y="-13"/>
 
1698
                    </graphics>
 
1699
                    <text>completeOrderDoctor_04_orderIncomplete</text>
 
1700
                </name>
 
1701
                <graphics>
 
1702
                    <position x="1515" y="855"/>
 
1703
                </graphics>
 
1704
            </transition>
 
1705
            <transition id="preTransfusionChecks_05_T0">
 
1706
                <name>
 
1707
                    <graphics>
 
1708
                        <offset x="-5" y="35"/>
 
1709
                    </graphics>
 
1710
                    <text>preTransfusionChecks_05_T0</text>
 
1711
                </name>
 
1712
                <graphics>
 
1713
                    <position x="135" y="1485"/>
 
1714
                </graphics>
 
1715
            </transition>
 
1716
            <transition id="preTransfusionChecks_05_aquireRoom">
 
1717
                <name>
 
1718
                    <graphics>
 
1719
                        <offset x="44" y="48"/>
 
1720
                    </graphics>
 
1721
                    <text>preTransfusionChecks_05_aquireRoom</text>
 
1722
                </name>
 
1723
                <graphics>
 
1724
                    <position x="270" y="1395"/>
 
1725
                </graphics>
 
1726
            </transition>
 
1727
            <transition id="preTransfusionChecks_05_finish1">
 
1728
                <name>
 
1729
                    <graphics>
 
1730
                        <offset x="35" y="0"/>
 
1731
                    </graphics>
 
1732
                    <text>preTransfusionChecks_05_finish1</text>
 
1733
                </name>
 
1734
                <graphics>
 
1735
                    <position x="435" y="1395"/>
 
1736
                </graphics>
 
1737
            </transition>
 
1738
            <transition id="preTransfusionChecks_05_finish2">
 
1739
                <name>
 
1740
                    <graphics>
 
1741
                        <offset x="22" y="-3"/>
 
1742
                    </graphics>
 
1743
                    <text>preTransfusionChecks_05_finish2</text>
 
1744
                </name>
 
1745
                <graphics>
 
1746
                    <position x="435" y="1575"/>
 
1747
                </graphics>
 
1748
            </transition>
 
1749
            <transition id="preTransfusionChecks_05_join1">
 
1750
                <name>
 
1751
                    <graphics>
 
1752
                        <offset x="25" y="-10"/>
 
1753
                    </graphics>
 
1754
                    <text>preTransfusionChecks_05_join1</text>
 
1755
                </name>
 
1756
                <graphics>
 
1757
                    <position x="660" y="1335"/>
 
1758
                </graphics>
 
1759
            </transition>
 
1760
            <transition id="preTransfusionChecks_05_join2">
 
1761
                <name>
 
1762
                    <graphics>
 
1763
                        <offset x="33" y="47"/>
 
1764
                    </graphics>
 
1765
                    <text>preTransfusionChecks_05_join2</text>
 
1766
                </name>
 
1767
                <graphics>
 
1768
                    <position x="660" y="1650"/>
 
1769
                </graphics>
 
1770
            </transition>
 
1771
            <transition id="obtainBloodProduct_06_T0">
 
1772
                <name>
 
1773
                    <graphics>
 
1774
                        <offset x="-5" y="35"/>
 
1775
                    </graphics>
 
1776
                    <text>obtainBloodProduct_06_T0</text>
 
1777
                </name>
 
1778
                <graphics>
 
1779
                    <position x="1290" y="1305"/>
 
1780
                </graphics>
 
1781
            </transition>
 
1782
            <transition id="obtainBloodProduct_06_T1">
 
1783
                <name>
 
1784
                    <graphics>
 
1785
                        <offset x="-5" y="35"/>
 
1786
                    </graphics>
 
1787
                    <text>obtainBloodProduct_06_T1</text>
 
1788
                </name>
 
1789
                <graphics>
 
1790
                    <position x="1515" y="1305"/>
 
1791
                </graphics>
 
1792
            </transition>
 
1793
            <transition id="obtainBloodProduct_06_T2">
 
1794
                <name>
 
1795
                    <graphics>
 
1796
                        <offset x="-5" y="35"/>
 
1797
                    </graphics>
 
1798
                    <text>obtainBloodProduct_06_T2</text>
 
1799
                </name>
 
1800
                <graphics>
 
1801
                    <position x="1755" y="1305"/>
 
1802
                </graphics>
 
1803
            </transition>
 
1804
            <transition id="Shared_releaseBloodProduct">
 
1805
                <name>
 
1806
                    <graphics>
 
1807
                        <offset x="71" y="54"/>
 
1808
                    </graphics>
 
1809
                    <text>Shared_releaseBloodProduct</text>
 
1810
                </name>
 
1811
                <graphics>
 
1812
                    <position x="1665" y="1425"/>
 
1813
                </graphics>
 
1814
            </transition>
 
1815
            <transition id="checkForTypeAndScreen_07_T0">
 
1816
                <name>
 
1817
                    <graphics>
 
1818
                        <offset x="-5" y="35"/>
 
1819
                    </graphics>
 
1820
                    <text>checkForTypeAndScreen_07_T0</text>
 
1821
                </name>
 
1822
                <graphics>
 
1823
                    <position x="135" y="1800"/>
 
1824
                </graphics>
 
1825
            </transition>
 
1826
            <transition id="checkForTypeAndScreen_07_available">
 
1827
                <name>
 
1828
                    <graphics>
 
1829
                        <offset x="42" y="-5"/>
 
1830
                    </graphics>
 
1831
                    <text>checkForTypeAndScreen_07_available</text>
 
1832
                </name>
 
1833
                <graphics>
 
1834
                    <position x="225" y="1905"/>
 
1835
                </graphics>
 
1836
            </transition>
 
1837
            <transition id="checkForTypeAndScreen_07_finish1">
 
1838
                <name>
 
1839
                    <graphics>
 
1840
                        <offset x="34" y="-5"/>
 
1841
                    </graphics>
 
1842
                    <text>checkForTypeAndScreen_07_finish1</text>
 
1843
                </name>
 
1844
                <graphics>
 
1845
                    <position x="360" y="1800"/>
 
1846
                </graphics>
 
1847
            </transition>
 
1848
            <transition id="checkForTypeAndScreen_07_notAvailalbe">
 
1849
                <name>
 
1850
                    <graphics>
 
1851
                        <offset x="38" y="55"/>
 
1852
                    </graphics>
 
1853
                    <text>checkForTypeAndScreen_07_notAvailalbe</text>
 
1854
                </name>
 
1855
                <graphics>
 
1856
                    <position x="225" y="1995"/>
 
1857
                </graphics>
 
1858
            </transition>
 
1859
            <transition id="checkForTypeAndScreen_07_try2">
 
1860
                <name>
 
1861
                    <graphics>
 
1862
                        <offset x="37" y="0"/>
 
1863
                    </graphics>
 
1864
                    <text>checkForTypeAndScreen_07_try2</text>
 
1865
                </name>
 
1866
                <graphics>
 
1867
                    <position x="435" y="1995"/>
 
1868
                </graphics>
 
1869
            </transition>
 
1870
            <transition id="checkForTypeAndScreen_07_finish2">
 
1871
                <name>
 
1872
                    <graphics>
 
1873
                        <offset x="83" y="24"/>
 
1874
                    </graphics>
 
1875
                    <text>checkForTypeAndScreen_07_finish2</text>
 
1876
                </name>
 
1877
                <graphics>
 
1878
                    <position x="690" y="1800"/>
 
1879
                </graphics>
 
1880
            </transition>
 
1881
            <transition id="checkForTypeAndScreen_07_T6">
 
1882
                <name>
 
1883
                    <graphics>
 
1884
                        <offset x="-5" y="35"/>
 
1885
                    </graphics>
 
1886
                    <text>checkForTypeAndScreen_07_T6</text>
 
1887
                </name>
 
1888
                <graphics>
 
1889
                    <position x="240" y="2160"/>
 
1890
                </graphics>
 
1891
            </transition>
 
1892
            <transition id="checkForTypeAndScreen_07_T7">
 
1893
                <name>
 
1894
                    <graphics>
 
1895
                        <offset x="-5" y="35"/>
 
1896
                    </graphics>
 
1897
                    <text>checkForTypeAndScreen_07_T7</text>
 
1898
                </name>
 
1899
                <graphics>
 
1900
                    <position x="405" y="2160"/>
 
1901
                </graphics>
 
1902
            </transition>
 
1903
            <transition id="checkForTypeAndScreen_07_T8">
 
1904
                <name>
 
1905
                    <graphics>
 
1906
                        <offset x="-5" y="35"/>
 
1907
                    </graphics>
 
1908
                    <text>checkForTypeAndScreen_07_T8</text>
 
1909
                </name>
 
1910
                <graphics>
 
1911
                    <position x="585" y="2160"/>
 
1912
                </graphics>
 
1913
            </transition>
 
1914
            <transition id="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess">
 
1915
                <name>
 
1916
                    <graphics>
 
1917
                        <offset x="128" y="-3"/>
 
1918
                    </graphics>
 
1919
                    <text>checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess</text>
 
1920
                </name>
 
1921
                <graphics>
 
1922
                    <position x="270" y="2280"/>
 
1923
                </graphics>
 
1924
            </transition>
 
1925
            <transition id="checkForTypeAndScreen_07_getValidation">
 
1926
                <name>
 
1927
                    <graphics>
 
1928
                        <offset x="45" y="44"/>
 
1929
                    </graphics>
 
1930
                    <text>checkForTypeAndScreen_07_getValidation</text>
 
1931
                </name>
 
1932
                <graphics>
 
1933
                    <position x="510" y="2280"/>
 
1934
                </graphics>
 
1935
            </transition>
 
1936
            <transition id="performTransfusion_08_T0">
 
1937
                <name>
 
1938
                    <graphics>
 
1939
                        <offset x="-5" y="35"/>
 
1940
                    </graphics>
 
1941
                    <text>performTransfusion_08_T0</text>
 
1942
                </name>
 
1943
                <graphics>
 
1944
                    <position x="1215" y="1830"/>
 
1945
                </graphics>
 
1946
            </transition>
 
1947
            <transition id="performTransfusion_08_T1">
 
1948
                <name>
 
1949
                    <graphics>
 
1950
                        <offset x="-5" y="35"/>
 
1951
                    </graphics>
 
1952
                    <text>performTransfusion_08_T1</text>
 
1953
                </name>
 
1954
                <graphics>
 
1955
                    <position x="1365" y="1830"/>
 
1956
                </graphics>
 
1957
            </transition>
 
1958
            <transition id="performTransfusion_08_T2">
 
1959
                <name>
 
1960
                    <graphics>
 
1961
                        <offset x="-5" y="35"/>
 
1962
                    </graphics>
 
1963
                    <text>performTransfusion_08_T2</text>
 
1964
                </name>
 
1965
                <graphics>
 
1966
                    <position x="1515" y="1830"/>
 
1967
                </graphics>
 
1968
            </transition>
 
1969
            <transition id="performTransfusion_08_T3">
 
1970
                <name>
 
1971
                    <graphics>
 
1972
                        <offset x="-5" y="35"/>
 
1973
                    </graphics>
 
1974
                    <text>performTransfusion_08_T3</text>
 
1975
                </name>
 
1976
                <graphics>
 
1977
                    <position x="1665" y="1830"/>
 
1978
                </graphics>
 
1979
            </transition>
 
1980
            <transition id="performTransfusion_08_finish">
 
1981
                <name>
 
1982
                    <graphics>
 
1983
                        <offset x="17" y="-1"/>
 
1984
                    </graphics>
 
1985
                    <text>performTransfusion_08_finish</text>
 
1986
                </name>
 
1987
                <graphics>
 
1988
                    <position x="1830" y="1830"/>
 
1989
                </graphics>
 
1990
            </transition>
 
1991
            <transition id="Shared_beginInfusionOfBloodProduct">
 
1992
                <name>
 
1993
                    <graphics>
 
1994
                        <offset x="79" y="43"/>
 
1995
                    </graphics>
 
1996
                    <text>Shared_beginInfusionOfBloodProduct</text>
 
1997
                </name>
 
1998
                <graphics>
 
1999
                    <position x="1215" y="1965"/>
 
2000
                </graphics>
 
2001
            </transition>
 
2002
            <transition id="performTransfusion_08_releaseRoom">
 
2003
                <name>
 
2004
                    <graphics>
 
2005
                        <offset x="48" y="-7"/>
 
2006
                    </graphics>
 
2007
                    <text>performTransfusion_08_releaseRoom</text>
 
2008
                </name>
 
2009
                <graphics>
 
2010
                    <position x="1605" y="1965"/>
 
2011
                </graphics>
 
2012
            </transition>
 
2013
            <transition id="performTransfusion_08_checkoutPatientSuccess">
 
2014
                <name>
 
2015
                    <graphics>
 
2016
                        <offset x="79" y="-21"/>
 
2017
                    </graphics>
 
2018
                    <text>performTransfusion_08_checkoutPatientSuccess</text>
 
2019
                </name>
 
2020
                <graphics>
 
2021
                    <position x="1845" y="2040"/>
 
2022
                </graphics>
 
2023
            </transition>
 
2024
            <transition id="iterateAssessPatient_08A_initialize">
 
2025
                <name>
 
2026
                    <graphics>
 
2027
                        <offset x="53" y="-4"/>
 
2028
                    </graphics>
 
2029
                    <text>iterateAssessPatient_08A_initialize</text>
 
2030
                </name>
 
2031
                <graphics>
 
2032
                    <position x="165" y="2535"/>
 
2033
                </graphics>
 
2034
            </transition>
 
2035
            <transition id="iterateAssessPatient_08A_start_assessment">
 
2036
                <name>
 
2037
                    <graphics>
 
2038
                        <offset x="109" y="-6"/>
 
2039
                    </graphics>
 
2040
                    <text>iterateAssessPatient_08A_start_assessment</text>
 
2041
                </name>
 
2042
                <graphics>
 
2043
                    <position x="375" y="2430"/>
 
2044
                </graphics>
 
2045
            </transition>
 
2046
            <transition id="iterateAssessPatient_08A_end_assesment">
 
2047
                <name>
 
2048
                    <graphics>
 
2049
                        <offset x="83" y="45"/>
 
2050
                    </graphics>
 
2051
                    <text>iterateAssessPatient_08A_end_assesment</text>
 
2052
                </name>
 
2053
                <graphics>
 
2054
                    <position x="375" y="2610"/>
 
2055
                </graphics>
 
2056
            </transition>
 
2057
            <transition id="Shared_stopTransfusion">
 
2058
                <name>
 
2059
                    <graphics>
 
2060
                        <offset x="57" y="54"/>
 
2061
                    </graphics>
 
2062
                    <text>Shared_stopTransfusion</text>
 
2063
                </name>
 
2064
                <graphics>
 
2065
                    <position x="795" y="2535"/>
 
2066
                </graphics>
 
2067
            </transition>
 
2068
            <transition id="iterateAssessPatient_08A_terminate">
 
2069
                <name>
 
2070
                    <graphics>
 
2071
                        <offset x="45" y="52"/>
 
2072
                    </graphics>
 
2073
                    <text>iterateAssessPatient_08A_terminate</text>
 
2074
                </name>
 
2075
                <graphics>
 
2076
                    <position x="975" y="2535"/>
 
2077
                </graphics>
 
2078
            </transition>
 
2079
            <transition id="iterateAssessPatient_08A_finish">
 
2080
                <name>
 
2081
                    <graphics>
 
2082
                        <offset x="26" y="-6"/>
 
2083
                    </graphics>
 
2084
                    <text>iterateAssessPatient_08A_finish</text>
 
2085
                </name>
 
2086
                <graphics>
 
2087
                    <position x="585" y="2535"/>
 
2088
                </graphics>
 
2089
            </transition>
 
2090
            <transition id="iterateAssessPatient_08A_done">
 
2091
                <name>
 
2092
                    <graphics>
 
2093
                        <offset x="40" y="4"/>
 
2094
                    </graphics>
 
2095
                    <text>iterateAssessPatient_08A_done</text>
 
2096
                </name>
 
2097
                <graphics>
 
2098
                    <position x="225" y="2490"/>
 
2099
                </graphics>
 
2100
            </transition>
 
2101
            <transition id="iterateAssessPatient_08A_finish2">
 
2102
                <name>
 
2103
                    <graphics>
 
2104
                        <offset x="-5" y="35"/>
 
2105
                    </graphics>
 
2106
                    <text>iterateAssessPatient_08A_finish2</text>
 
2107
                </name>
 
2108
                <graphics>
 
2109
                    <position x="345" y="2700"/>
 
2110
                </graphics>
 
2111
            </transition>
 
2112
            <transition id="assessPatient_09_startClinicalEvaluation">
 
2113
                <name>
 
2114
                    <graphics>
 
2115
                        <offset x="74" y="-13"/>
 
2116
                    </graphics>
 
2117
                    <text>assessPatient_09_startClinicalEvaluation</text>
 
2118
                </name>
 
2119
                <graphics>
 
2120
                    <position x="1290" y="2415"/>
 
2121
                </graphics>
 
2122
            </transition>
 
2123
            <transition id="assessPatient_09_evaluatePatientClinicallyOK">
 
2124
                <name>
 
2125
                    <graphics>
 
2126
                        <offset x="73" y="-13"/>
 
2127
                    </graphics>
 
2128
                    <text>assessPatient_09_evaluatePatientClinicallyOK</text>
 
2129
                </name>
 
2130
                <graphics>
 
2131
                    <position x="1410" y="2520"/>
 
2132
                </graphics>
 
2133
            </transition>
 
2134
            <transition id="assessPatient_09_finishEvaluation">
 
2135
                <name>
 
2136
                    <graphics>
 
2137
                        <offset x="25" y="4"/>
 
2138
                    </graphics>
 
2139
                    <text>assessPatient_09_finishEvaluation</text>
 
2140
                </name>
 
2141
                <graphics>
 
2142
                    <position x="1545" y="2415"/>
 
2143
                </graphics>
 
2144
            </transition>
 
2145
            <transition id="assessPatient_09_evaluatePatientClinicallyNOK">
 
2146
                <name>
 
2147
                    <graphics>
 
2148
                        <offset x="-5" y="35"/>
 
2149
                    </graphics>
 
2150
                    <text>assessPatient_09_evaluatePatientClinicallyNOK</text>
 
2151
                </name>
 
2152
                <graphics>
 
2153
                    <position x="1365" y="2640"/>
 
2154
                </graphics>
 
2155
            </transition>
 
2156
            <transition id="assessPatient_09_finishHandlingReaction">
 
2157
                <name>
 
2158
                    <graphics>
 
2159
                        <offset x="76" y="-16"/>
 
2160
                    </graphics>
 
2161
                    <text>assessPatient_09_finishHandlingReaction</text>
 
2162
                </name>
 
2163
                <graphics>
 
2164
                    <position x="1830" y="2415"/>
 
2165
                </graphics>
 
2166
            </transition>
 
2167
            <transition id="assessPatient_09_tryHandlingTransfusionReaction">
 
2168
                <name>
 
2169
                    <graphics>
 
2170
                        <offset x="144" y="52"/>
 
2171
                    </graphics>
 
2172
                    <text>assessPatient_09_tryHandlingTransfusionReaction</text>
 
2173
                </name>
 
2174
                <graphics>
 
2175
                    <position x="1665" y="2640"/>
 
2176
                </graphics>
 
2177
            </transition>
 
2178
            <transition id="handleTransfusionReaction_10_startAdjustIVaccess">
 
2179
                <name>
 
2180
                    <graphics>
 
2181
                        <offset x="118" y="2"/>
 
2182
                    </graphics>
 
2183
                    <text>handleTransfusionReaction_10_startAdjustIVaccess</text>
 
2184
                </name>
 
2185
                <graphics>
 
2186
                    <position x="165" y="2985"/>
 
2187
                </graphics>
 
2188
            </transition>
 
2189
            <transition id="handleTransfusionReaction_10_adjustIVaccessOK">
 
2190
                <name>
 
2191
                    <graphics>
 
2192
                        <offset x="64" y="-4"/>
 
2193
                    </graphics>
 
2194
                    <text>handleTransfusionReaction_10_adjustIVaccessOK</text>
 
2195
                </name>
 
2196
                <graphics>
 
2197
                    <position x="270" y="3120"/>
 
2198
                </graphics>
 
2199
            </transition>
 
2200
            <transition id="handleTransfusionReaction_10_finishAdjustIVaccess">
 
2201
                <name>
 
2202
                    <graphics>
 
2203
                        <offset x="77" y="2"/>
 
2204
                    </graphics>
 
2205
                    <text>handleTransfusionReaction_10_finishAdjustIVaccess</text>
 
2206
                </name>
 
2207
                <graphics>
 
2208
                    <position x="420" y="2985"/>
 
2209
                </graphics>
 
2210
            </transition>
 
2211
            <transition id="handleTransfusionReaction_10_adjustIVaccessNOK">
 
2212
                <name>
 
2213
                    <graphics>
 
2214
                        <offset x="20" y="52"/>
 
2215
                    </graphics>
 
2216
                    <text>handleTransfusionReaction_10_adjustIVaccessNOK</text>
 
2217
                </name>
 
2218
                <graphics>
 
2219
                    <position x="255" y="3240"/>
 
2220
                </graphics>
 
2221
            </transition>
 
2222
            <transition id="handleTransfusionReaction_10_try_interruptTransfusion">
 
2223
                <name>
 
2224
                    <graphics>
 
2225
                        <offset x="155" y="43"/>
 
2226
                    </graphics>
 
2227
                    <text>handleTransfusionReaction_10_try_interruptTransfusion</text>
 
2228
                </name>
 
2229
                <graphics>
 
2230
                    <position x="495" y="3240"/>
 
2231
                </graphics>
 
2232
            </transition>
 
2233
            <transition id="handleTransfusionReaction_10_finish">
 
2234
                <name>
 
2235
                    <graphics>
 
2236
                        <offset x="72" y="20"/>
 
2237
                    </graphics>
 
2238
                    <text>handleTransfusionReaction_10_finish</text>
 
2239
                </name>
 
2240
                <graphics>
 
2241
                    <position x="645" y="2985"/>
 
2242
                </graphics>
 
2243
            </transition>
 
2244
            <transition id="interruptTransfusion_11_T0">
 
2245
                <name>
 
2246
                    <graphics>
 
2247
                        <offset x="-5" y="35"/>
 
2248
                    </graphics>
 
2249
                    <text>interruptTransfusion_11_T0</text>
 
2250
                </name>
 
2251
                <graphics>
 
2252
                    <position x="1230" y="2940"/>
 
2253
                </graphics>
 
2254
            </transition>
 
2255
            <transition id="interruptTransfusion_11_T1">
 
2256
                <name>
 
2257
                    <graphics>
 
2258
                        <offset x="-5" y="35"/>
 
2259
                    </graphics>
 
2260
                    <text>interruptTransfusion_11_T1</text>
 
2261
                </name>
 
2262
                <graphics>
 
2263
                    <position x="1410" y="2940"/>
 
2264
                </graphics>
 
2265
            </transition>
 
2266
            <transition id="interruptTransfusion_11_T2">
 
2267
                <name>
 
2268
                    <graphics>
 
2269
                        <offset x="-5" y="35"/>
 
2270
                    </graphics>
 
2271
                    <text>interruptTransfusion_11_T2</text>
 
2272
                </name>
 
2273
                <graphics>
 
2274
                    <position x="1590" y="2940"/>
 
2275
                </graphics>
 
2276
            </transition>
 
2277
            <transition id="interruptTransfusion_11_T3">
 
2278
                <name>
 
2279
                    <graphics>
 
2280
                        <offset x="-5" y="35"/>
 
2281
                    </graphics>
 
2282
                    <text>interruptTransfusion_11_T3</text>
 
2283
                </name>
 
2284
                <graphics>
 
2285
                    <position x="1755" y="2940"/>
 
2286
                </graphics>
 
2287
            </transition>
 
2288
            <transition id="Shared_emergencyStopInfusion">
 
2289
                <name>
 
2290
                    <graphics>
 
2291
                        <offset x="91" y="-14"/>
 
2292
                    </graphics>
 
2293
                    <text>Shared_emergencyStopInfusion</text>
 
2294
                </name>
 
2295
                <graphics>
 
2296
                    <position x="1245" y="3090"/>
 
2297
                </graphics>
 
2298
            </transition>
 
2299
            <transition id="interruptTransfusion_11_informDoctor">
 
2300
                <name>
 
2301
                    <graphics>
 
2302
                        <offset x="54" y="1"/>
 
2303
                    </graphics>
 
2304
                    <text>interruptTransfusion_11_informDoctor</text>
 
2305
                </name>
 
2306
                <graphics>
 
2307
                    <position x="1485" y="3090"/>
 
2308
                </graphics>
 
2309
            </transition>
 
2310
            <transition id="interruptTransfusion_11_releaseRoom">
 
2311
                <name>
 
2312
                    <graphics>
 
2313
                        <offset x="43" y="-1"/>
 
2314
                    </graphics>
 
2315
                    <text>interruptTransfusion_11_releaseRoom</text>
 
2316
                </name>
 
2317
                <graphics>
 
2318
                    <position x="1725" y="3090"/>
 
2319
                </graphics>
 
2320
            </transition>
 
2321
            <transition id="interruptTransfusion_11_exception_reactionSuspected">
 
2322
                <name>
 
2323
                    <graphics>
 
2324
                        <offset x="-5" y="35"/>
 
2325
                    </graphics>
 
2326
                    <text>interruptTransfusion_11_exception_reactionSuspected</text>
 
2327
                </name>
 
2328
                <graphics>
 
2329
                    <position x="1800" y="3165"/>
 
2330
                </graphics>
 
2331
            </transition>
 
2332
            <arc id="Shared_bloodTransfusionWorkflow_START_to_bloodTransfusionWorkflow_01_T0" source="Shared_bloodTransfusionWorkflow_START" target="bloodTransfusionWorkflow_01_T0" type="normal"/>
 
2333
            <arc id="Shared_patientInfo_END_to_bloodTransfusionWorkflow_01_T1" source="Shared_patientInfo_END" target="bloodTransfusionWorkflow_01_T1" type="normal"/>
 
2334
            <arc id="Shared_prepareTransfusion_END_to_bloodTransfusionWorkflow_01_T2" source="Shared_prepareTransfusion_END" target="bloodTransfusionWorkflow_01_T2" type="normal"/>
 
2335
            <arc id="bloodTransfusionWorkflow_01_duratio1_2_to_bloodTransfusionWorkflow_01_T2" source="bloodTransfusionWorkflow_01_duratio1_2" target="bloodTransfusionWorkflow_01_T2" type="normal"/>
 
2336
            <arc id="bloodTransfusionWorkflow_01_startCheckout_to_Shared_checkoutPatientWithoutTreatment" source="bloodTransfusionWorkflow_01_startCheckout" target="Shared_checkoutPatientWithoutTreatment" type="normal"/>
 
2337
            <arc id="Shared_EX_consentDisagree_to_bloodTransfusionWorkflow_01_exception1" source="Shared_EX_consentDisagree" target="bloodTransfusionWorkflow_01_exception1" type="normal"/>
 
2338
            <arc id="Shared_EX_orderIncomplete_to_bloodTransfusionWorkflow_01_exception2" source="Shared_EX_orderIncomplete" target="bloodTransfusionWorkflow_01_exception2" type="normal"/>
 
2339
            <arc id="Shared_EX_reactionSuspected_to_bloodTransfusionWorkflow_01_exception3" source="Shared_EX_reactionSuspected" target="bloodTransfusionWorkflow_01_exception3" type="normal"/>
 
2340
            <arc id="bloodTransfusionWorkflow_01_done_to_bloodTransfusionWorkflow_01_finishWorkflowException" source="bloodTransfusionWorkflow_01_done" target="bloodTransfusionWorkflow_01_finishWorkflowException" type="normal"/>
 
2341
            <arc id="Shared_patientInfo_START_to_patientInfo_02_T0" source="Shared_patientInfo_START" target="patientInfo_02_T0" type="normal"/>
 
2342
            <arc id="patientInfo_02_duration1_2_to_patientInfo_02_T2" source="patientInfo_02_duration1_2" target="patientInfo_02_T2" type="normal">
 
2343
                <graphics>
 
2344
                    <position x="1629" y="129"/>
 
2345
                </graphics>
 
2346
            </arc>
 
2347
            <arc id="patientInfo_02_firstPatientInfo_START_to_Shared_checkID" source="patientInfo_02_firstPatientInfo_START" target="Shared_checkID" type="normal"/>
 
2348
            <arc id="patientInfo_02_firstPatientInfo_END_to_patientInfo_02_T1" source="patientInfo_02_firstPatientInfo_END" target="patientInfo_02_T1" type="normal"/>
 
2349
            <arc id="patientInfo_02_checkConsent_END_to_patientInfo_02_T2" source="patientInfo_02_checkConsent_END" target="patientInfo_02_T2" type="normal"/>
 
2350
            <arc id="patientInfo_02_checkConsent_START_to_patientInfo_02_fork1" source="patientInfo_02_checkConsent_START" target="patientInfo_02_fork1" type="normal"/>
 
2351
            <arc id="patientInfo_02_checkConsent_START_to_patientInfo_02_fork2" source="patientInfo_02_checkConsent_START" target="patientInfo_02_fork2" type="normal"/>
 
2352
            <arc id="patientInfo_02_duration1_2_to_patientInfo_02_patientDisagree" source="patientInfo_02_duration1_2" target="patientInfo_02_patientDisagree" type="normal"/>
 
2353
            <arc id="patientInfo_02_patientDisagree_START_to_patientInfo_02_patientDisagree" source="patientInfo_02_patientDisagree_START" target="patientInfo_02_patientDisagree" type="normal"/>
 
2354
            <arc id="patientInfo_02_patientAgree_START_to_patientInfo_02_patientAgree" source="patientInfo_02_patientAgree_START" target="patientInfo_02_patientAgree" type="normal"/>
 
2355
            <arc id="patientInfo_02_patientAgree_END_to_patientInfo_02_join2" source="patientInfo_02_patientAgree_END" target="patientInfo_02_join2" type="normal"/>
 
2356
            <arc id="patientInfo_02_duration_to_patientInfo_02_patientDisagree" source="patientInfo_02_duration" target="patientInfo_02_patientDisagree" type="normal"/>
 
2357
            <arc id="patientInfo_02_duration_to_patientInfo_02_join2" source="patientInfo_02_duration" target="patientInfo_02_join2" type="normal"/>
 
2358
            <arc id="Shared_prepareTransfusion_START_to_prepareTransfusion_03_T0" source="Shared_prepareTransfusion_START" target="prepareTransfusion_03_T0" type="normal"/>
 
2359
            <arc id="Shared_completeDoctorOrder_END_to_prepareTransfusion_03_T1" source="Shared_completeDoctorOrder_END" target="prepareTransfusion_03_T1" type="normal"/>
 
2360
            <arc id="Shared_preTransfusijonChecks_END_to_prepareTransfusion_03_T2" source="Shared_preTransfusijonChecks_END" target="prepareTransfusion_03_T2" type="normal"/>
 
2361
            <arc id="Shared_performTransfusion_END_to_prepareTransfusion_03_T3" source="Shared_performTransfusion_END" target="prepareTransfusion_03_T3" type="normal"/>
 
2362
            <arc id="prepareTransfusion_03_duration_1_2_3_to_prepareTransfusion_03_T3" source="prepareTransfusion_03_duration_1_2_3" target="prepareTransfusion_03_T3" type="normal"/>
 
2363
            <arc id="Shared_completeDoctorOrder_START_to_completeOrderDoctor_04_fork1" source="Shared_completeDoctorOrder_START" target="completeOrderDoctor_04_fork1" type="normal"/>
 
2364
            <arc id="Shared_completeDoctorOrder_START_to_completeOrderDoctor_04_fork2" source="Shared_completeDoctorOrder_START" target="completeOrderDoctor_04_fork2" type="normal"/>
 
2365
            <arc id="completeOrderDoctor_04_orderComplete_START_to_completeOrderDoctor_04_orderComplete" source="completeOrderDoctor_04_orderComplete_START" target="completeOrderDoctor_04_orderComplete" type="normal"/>
 
2366
            <arc id="completeOrderDoctor_04_orderComplete_END_to_completeOrderDoctor_04_join1" source="completeOrderDoctor_04_orderComplete_END" target="completeOrderDoctor_04_join1" type="normal"/>
 
2367
            <arc id="completeOrderDoctor_04_duration_to_completeOrderDoctor_04_join1" source="completeOrderDoctor_04_duration" target="completeOrderDoctor_04_join1" type="normal"/>
 
2368
            <arc id="completeOrderDoctor_04_orderIncomplete_START_to_completeOrderDoctor_04_orderIncomplete" source="completeOrderDoctor_04_orderIncomplete_START" target="completeOrderDoctor_04_orderIncomplete" type="normal"/>
 
2369
            <arc id="completeOrderDoctor_04_duration_to_completeOrderDoctor_04_orderIncomplete" source="completeOrderDoctor_04_duration" target="completeOrderDoctor_04_orderIncomplete" type="normal"/>
 
2370
            <arc id="Shared_preTransfusijonChecks_START_to_preTransfusionChecks_05_T0" source="Shared_preTransfusijonChecks_START" target="preTransfusionChecks_05_T0" type="normal"/>
 
2371
            <arc id="preTransfusionChecks_05_aquireRoom_START_to_preTransfusionChecks_05_aquireRoom" source="preTransfusionChecks_05_aquireRoom_START" target="preTransfusionChecks_05_aquireRoom" type="normal"/>
 
2372
            <arc id="preTransfusionChecks_05_aquireRoom_END_to_preTransfusionChecks_05_finish1" source="preTransfusionChecks_05_aquireRoom_END" target="preTransfusionChecks_05_finish1" type="normal"/>
 
2373
            <arc id="Shared_obtainBloodProduct_END_to_preTransfusionChecks_05_finish2" source="Shared_obtainBloodProduct_END" target="preTransfusionChecks_05_finish2" type="normal"/>
 
2374
            <arc id="preTransfusionChecks_05_done2_to_preTransfusionChecks_05_join1" source="preTransfusionChecks_05_done2" target="preTransfusionChecks_05_join1" type="normal"/>
 
2375
            <arc id="preTransfusionChecks_05_aquireRoom_END_to_preTransfusionChecks_05_join1" source="preTransfusionChecks_05_aquireRoom_END" target="preTransfusionChecks_05_join1" type="normal">
 
2376
                <graphics>
 
2377
                    <position x="534" y="1359"/>
 
2378
                </graphics>
 
2379
            </arc>
 
2380
            <arc id="preTransfusionChecks_05_done1_to_preTransfusionChecks_05_join2" source="preTransfusionChecks_05_done1" target="preTransfusionChecks_05_join2" type="normal"/>
 
2381
            <arc id="Shared_obtainBloodProduct_END_to_preTransfusionChecks_05_join2" source="Shared_obtainBloodProduct_END" target="preTransfusionChecks_05_join2" type="normal">
 
2382
                <graphics>
 
2383
                    <position x="519" y="1704"/>
 
2384
                </graphics>
 
2385
            </arc>
 
2386
            <arc id="preTransfusionChecks_05_duration_to_preTransfusionChecks_05_join1" source="preTransfusionChecks_05_duration" target="preTransfusionChecks_05_join1" type="normal"/>
 
2387
            <arc id="preTransfusionChecks_05_duration_to_preTransfusionChecks_05_join2" source="preTransfusionChecks_05_duration" target="preTransfusionChecks_05_join2" type="normal">
 
2388
                <graphics>
 
2389
                    <position x="924" y="1509"/>
 
2390
                    <position x="819" y="1674"/>
 
2391
                </graphics>
 
2392
            </arc>
 
2393
            <arc id="Shared_obtainBloodProduct_START_to_obtainBloodProduct_06_T0" source="Shared_obtainBloodProduct_START" target="obtainBloodProduct_06_T0" type="normal"/>
 
2394
            <arc id="obtainBloodProduct_06_duration1_2_to_obtainBloodProduct_06_T2" source="obtainBloodProduct_06_duration1_2" target="obtainBloodProduct_06_T2" type="normal"/>
 
2395
            <arc id="Shared_checkForTypeAndScreen_END_to_obtainBloodProduct_06_T1" source="Shared_checkForTypeAndScreen_END" target="obtainBloodProduct_06_T1" type="normal"/>
 
2396
            <arc id="obtainBloodProduct_06_releaseBloodProduct_START_to_Shared_releaseBloodProduct" source="obtainBloodProduct_06_releaseBloodProduct_START" target="Shared_releaseBloodProduct" type="normal"/>
 
2397
            <arc id="obtainBloodProduct_06_releaseBloodProduct_END_to_obtainBloodProduct_06_T2" source="obtainBloodProduct_06_releaseBloodProduct_END" target="obtainBloodProduct_06_T2" type="normal"/>
 
2398
            <arc id="Shared_checkForTypeAndScreen_START_to_checkForTypeAndScreen_07_T0" source="Shared_checkForTypeAndScreen_START" target="checkForTypeAndScreen_07_T0" type="normal"/>
 
2399
            <arc id="checkForTypeAndScreen_07_typeAndScreenAvailable_START_to_checkForTypeAndScreen_07_available" source="checkForTypeAndScreen_07_typeAndScreenAvailable_START" target="checkForTypeAndScreen_07_available" type="normal"/>
 
2400
            <arc id="checkForTypeAndScreen_07_duration_to_checkForTypeAndScreen_07_finish1" source="checkForTypeAndScreen_07_duration" target="checkForTypeAndScreen_07_finish1" type="normal"/>
 
2401
            <arc id="checkForTypeAndScreen_07_typeAndScreenAvailable_END_to_checkForTypeAndScreen_07_finish1" source="checkForTypeAndScreen_07_typeAndScreenAvailable_END" target="checkForTypeAndScreen_07_finish1" type="normal"/>
 
2402
            <arc id="checkForTypeAndScreen_07_typeAndScreenAvailable_START_to_checkForTypeAndScreen_07_notAvailalbe" source="checkForTypeAndScreen_07_typeAndScreenAvailable_START" target="checkForTypeAndScreen_07_notAvailalbe" type="normal"/>
 
2403
            <arc id="checkForTypeAndScreen_07_fail1_to_checkForTypeAndScreen_07_try2" source="checkForTypeAndScreen_07_fail1" target="checkForTypeAndScreen_07_try2" type="normal"/>
 
2404
            <arc id="checkForTypeAndScreen_07_obtainTypeAndScreen_END_to_checkForTypeAndScreen_07_finish2" source="checkForTypeAndScreen_07_obtainTypeAndScreen_END" target="checkForTypeAndScreen_07_finish2" type="normal"/>
 
2405
            <arc id="checkForTypeAndScreen_07_duration_to_checkForTypeAndScreen_07_finish2" source="checkForTypeAndScreen_07_duration" target="checkForTypeAndScreen_07_finish2" type="normal">
 
2406
                <graphics>
 
2407
                    <position x="384" y="1752"/>
 
2408
                    <position x="617" y="1753"/>
 
2409
                    <position x="729" y="1794"/>
 
2410
                </graphics>
 
2411
            </arc>
 
2412
            <arc id="checkForTypeAndScreen_07_obtainTypeAndScreen_START_to_checkForTypeAndScreen_07_T6" source="checkForTypeAndScreen_07_obtainTypeAndScreen_START" target="checkForTypeAndScreen_07_T6" type="normal"/>
 
2413
            <arc id="checkForTypeAndScreen_07_duration1_2_to_checkForTypeAndScreen_07_T8" source="checkForTypeAndScreen_07_duration1_2" target="checkForTypeAndScreen_07_T8" type="normal"/>
 
2414
            <arc id="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_END_to_checkForTypeAndScreen_07_T7" source="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_END" target="checkForTypeAndScreen_07_T7" type="normal"/>
 
2415
            <arc id="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_START_to_checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess" source="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_START" target="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess" type="normal"/>
 
2416
            <arc id="checkForTypeAndScreen_07_getValidation_START_to_checkForTypeAndScreen_07_getValidation" source="checkForTypeAndScreen_07_getValidation_START" target="checkForTypeAndScreen_07_getValidation" type="normal"/>
 
2417
            <arc id="checkForTypeAndScreen_07_getValidation_END_to_checkForTypeAndScreen_07_T8" source="checkForTypeAndScreen_07_getValidation_END" target="checkForTypeAndScreen_07_T8" type="normal"/>
 
2418
            <arc id="Shared_performTransfusion_START_to_performTransfusion_08_T0" source="Shared_performTransfusion_START" target="performTransfusion_08_T0" type="normal"/>
 
2419
            <arc id="performTransfusion_08_duration1_2_3_4_to_performTransfusion_08_finish" source="performTransfusion_08_duration1_2_3_4" target="performTransfusion_08_finish" type="normal"/>
 
2420
            <arc id="performTransfusion_08_beginInfusionOfBloodProduct_START_to_Shared_beginInfusionOfBloodProduct" source="performTransfusion_08_beginInfusionOfBloodProduct_START" target="Shared_beginInfusionOfBloodProduct" type="normal"/>
 
2421
            <arc id="performTransfusion_08_beginInfusionOfBloodProduct_END_to_performTransfusion_08_T1" source="performTransfusion_08_beginInfusionOfBloodProduct_END" target="performTransfusion_08_T1" type="normal"/>
 
2422
            <arc id="Shared_iterateAssessPatient_END_to_performTransfusion_08_T2" source="Shared_iterateAssessPatient_END" target="performTransfusion_08_T2" type="normal"/>
 
2423
            <arc id="performTransfusion_08_releaseRoom_START_to_performTransfusion_08_releaseRoom" source="performTransfusion_08_releaseRoom_START" target="performTransfusion_08_releaseRoom" type="normal"/>
 
2424
            <arc id="performTransfusion_08_releaseRoom_END_to_performTransfusion_08_T3" source="performTransfusion_08_releaseRoom_END" target="performTransfusion_08_T3" type="normal"/>
 
2425
            <arc id="performTransfusion_08_checkoutPatientSuccess_START_to_performTransfusion_08_checkoutPatientSuccess" source="performTransfusion_08_checkoutPatientSuccess_START" target="performTransfusion_08_checkoutPatientSuccess" type="normal"/>
 
2426
            <arc id="performTransfusion_08_checkoutPatientSuccess_END_to_performTransfusion_08_finish" source="performTransfusion_08_checkoutPatientSuccess_END" target="performTransfusion_08_finish" type="normal"/>
 
2427
            <arc id="Shared_iterateAssessPatient_START_to_iterateAssessPatient_08A_initialize" source="Shared_iterateAssessPatient_START" target="iterateAssessPatient_08A_initialize" type="normal"/>
 
2428
            <arc id="Shared_assessPatient_END_to_iterateAssessPatient_08A_end_assesment" source="Shared_assessPatient_END" target="iterateAssessPatient_08A_end_assesment" type="normal"/>
 
2429
            <arc id="iterateAssessPatient_08A_stopTransfusion_START_to_Shared_stopTransfusion" source="iterateAssessPatient_08A_stopTransfusion_START" target="Shared_stopTransfusion" type="normal"/>
 
2430
            <arc id="iterateAssessPatient_08A_stopTransfusion_END_to_iterateAssessPatient_08A_terminate" source="iterateAssessPatient_08A_stopTransfusion_END" target="iterateAssessPatient_08A_terminate" type="normal"/>
 
2431
            <arc id="iterateAssessPatient_08A_timer_to_iterateAssessPatient_08A_start_assessment" source="iterateAssessPatient_08A_timer" target="iterateAssessPatient_08A_start_assessment" type="normal">
 
2432
                <graphics>
 
2433
                    <position x="294" y="2439"/>
 
2434
                </graphics>
 
2435
            </arc>
 
2436
            <arc id="iterateAssessPatient_08A_P5_to_iterateAssessPatient_08A_finish" source="iterateAssessPatient_08A_P5" target="iterateAssessPatient_08A_finish" type="normal"/>
 
2437
            <arc id="Shared_assessPatient_END_to_iterateAssessPatient_08A_finish" source="Shared_assessPatient_END" target="iterateAssessPatient_08A_finish" type="normal"/>
 
2438
            <arc id="iterateAssessPatient_08A_timer_to_iterateAssessPatient_08A_done" source="iterateAssessPatient_08A_timer" target="iterateAssessPatient_08A_done" type="normal"/>
 
2439
            <arc id="iterateAssessPatient_08A_P3_to_iterateAssessPatient_08A_finish2" source="iterateAssessPatient_08A_P3" target="iterateAssessPatient_08A_finish2" type="normal">
 
2440
                <graphics>
 
2441
                    <position x="322" y="2692"/>
 
2442
                </graphics>
 
2443
            </arc>
 
2444
            <arc id="Shared_assessPatient_START_to_assessPatient_09_startClinicalEvaluation" source="Shared_assessPatient_START" target="assessPatient_09_startClinicalEvaluation" type="normal"/>
 
2445
            <arc id="assessPatient_09_evaluatePatientClinicallyOK_START_to_assessPatient_09_evaluatePatientClinicallyOK" source="assessPatient_09_evaluatePatientClinicallyOK_START" target="assessPatient_09_evaluatePatientClinicallyOK" type="normal"/>
 
2446
            <arc id="assessPatient_09_duration_to_assessPatient_09_finishEvaluation" source="assessPatient_09_duration" target="assessPatient_09_finishEvaluation" type="normal"/>
 
2447
            <arc id="assessPatient_09_evaluatePatientClinicallyOK_END_to_assessPatient_09_finishEvaluation" source="assessPatient_09_evaluatePatientClinicallyOK_END" target="assessPatient_09_finishEvaluation" type="normal"/>
 
2448
            <arc id="assessPatient_09_evaluatePatientClinicallyOK_START_to_assessPatient_09_evaluatePatientClinicallyNOK" source="assessPatient_09_evaluatePatientClinicallyOK_START" target="assessPatient_09_evaluatePatientClinicallyNOK" type="normal"/>
 
2449
            <arc id="Shared_handleTransfusionReaction_END_to_assessPatient_09_finishHandlingReaction" source="Shared_handleTransfusionReaction_END" target="assessPatient_09_finishHandlingReaction" type="normal"/>
 
2450
            <arc id="assessPatient_09_duration_to_assessPatient_09_finishHandlingReaction" source="assessPatient_09_duration" target="assessPatient_09_finishHandlingReaction" type="normal">
 
2451
                <graphics>
 
2452
                    <position x="1508" y="2378"/>
 
2453
                    <position x="1704" y="2359"/>
 
2454
                    <position x="1853" y="2408"/>
 
2455
                </graphics>
 
2456
            </arc>
 
2457
            <arc id="assessPatient_09_fail_patientNOK_to_assessPatient_09_tryHandlingTransfusionReaction" source="assessPatient_09_fail_patientNOK" target="assessPatient_09_tryHandlingTransfusionReaction" type="normal"/>
 
2458
            <arc id="Shared_handleTransfusionReaction_START_to_handleTransfusionReaction_10_startAdjustIVaccess" source="Shared_handleTransfusionReaction_START" target="handleTransfusionReaction_10_startAdjustIVaccess" type="normal"/>
 
2459
            <arc id="handleTransfusionReaction_10_adjustIVaccess_START_to_handleTransfusionReaction_10_adjustIVaccessOK" source="handleTransfusionReaction_10_adjustIVaccess_START" target="handleTransfusionReaction_10_adjustIVaccessOK" type="normal"/>
 
2460
            <arc id="handleTransfusionReaction_10_duration_to_handleTransfusionReaction_10_finishAdjustIVaccess" source="handleTransfusionReaction_10_duration" target="handleTransfusionReaction_10_finishAdjustIVaccess" type="normal"/>
 
2461
            <arc id="handleTransfusionReaction_10_adjustIVaccess_END_to_handleTransfusionReaction_10_finishAdjustIVaccess" source="handleTransfusionReaction_10_adjustIVaccess_END" target="handleTransfusionReaction_10_finishAdjustIVaccess" type="normal"/>
 
2462
            <arc id="handleTransfusionReaction_10_adjustIVaccess_START_to_handleTransfusionReaction_10_adjustIVaccessNOK" source="handleTransfusionReaction_10_adjustIVaccess_START" target="handleTransfusionReaction_10_adjustIVaccessNOK" type="normal"/>
 
2463
            <arc id="handleTransfusionReaction_10_fail_adjustIVaccess_to_handleTransfusionReaction_10_try_interruptTransfusion" source="handleTransfusionReaction_10_fail_adjustIVaccess" target="handleTransfusionReaction_10_try_interruptTransfusion" type="normal"/>
 
2464
            <arc id="Shared_interrupTransfusion_END_to_handleTransfusionReaction_10_finish" source="Shared_interrupTransfusion_END" target="handleTransfusionReaction_10_finish" type="normal"/>
 
2465
            <arc id="handleTransfusionReaction_10_duration_to_handleTransfusionReaction_10_finish" source="handleTransfusionReaction_10_duration" target="handleTransfusionReaction_10_finish" type="normal">
 
2466
                <graphics>
 
2467
                    <position x="398" y="2948"/>
 
2468
                    <position x="548" y="2933"/>
 
2469
                    <position x="668" y="2963"/>
 
2470
                </graphics>
 
2471
            </arc>
 
2472
            <arc id="Shared_interrupTransfusion_START_to_interruptTransfusion_11_T0" source="Shared_interrupTransfusion_START" target="interruptTransfusion_11_T0" type="normal"/>
 
2473
            <arc id="interruptTransfusion_11_duration1_2_3_to_interruptTransfusion_11_T3" source="interruptTransfusion_11_duration1_2_3" target="interruptTransfusion_11_T3" type="normal"/>
 
2474
            <arc id="interruptTransfusion_11_stopInfusion_START_to_Shared_emergencyStopInfusion" source="interruptTransfusion_11_stopInfusion_START" target="Shared_emergencyStopInfusion" type="normal"/>
 
2475
            <arc id="interruptTransfusion_11_stopInfusion_END_to_interruptTransfusion_11_T1" source="interruptTransfusion_11_stopInfusion_END" target="interruptTransfusion_11_T1" type="normal"/>
 
2476
            <arc id="interruptTransfusion_11_informDoctor_START_to_interruptTransfusion_11_informDoctor" source="interruptTransfusion_11_informDoctor_START" target="interruptTransfusion_11_informDoctor" type="normal"/>
 
2477
            <arc id="interruptTransfusion_11_informDoctor_END_to_interruptTransfusion_11_T2" source="interruptTransfusion_11_informDoctor_END" target="interruptTransfusion_11_T2" type="normal"/>
 
2478
            <arc id="interruptTransfusion_11_releaseRoom_START_to_interruptTransfusion_11_releaseRoom" source="interruptTransfusion_11_releaseRoom_START" target="interruptTransfusion_11_releaseRoom" type="normal"/>
 
2479
            <arc id="interruptTransfusion_11_releaseRoom_END_to_interruptTransfusion_11_exception_reactionSuspected" source="interruptTransfusion_11_releaseRoom_END" target="interruptTransfusion_11_exception_reactionSuspected" type="normal"/>
 
2480
            <arc id="bloodTransfusionWorkflow_01_T0_to_bloodTransfusionWorkflow_01_duration1" source="bloodTransfusionWorkflow_01_T0" target="bloodTransfusionWorkflow_01_duration1" type="normal"/>
 
2481
            <arc id="bloodTransfusionWorkflow_01_T0_to_Shared_patientInfo_START" source="bloodTransfusionWorkflow_01_T0" target="Shared_patientInfo_START" type="normal"/>
 
2482
            <arc id="bloodTransfusionWorkflow_01_T1_to_Shared_prepareTransfusion_START" source="bloodTransfusionWorkflow_01_T1" target="Shared_prepareTransfusion_START" type="normal"/>
 
2483
            <arc id="bloodTransfusionWorkflow_01_T2_to_Shared_bloodTransfusionWorkflow_END" source="bloodTransfusionWorkflow_01_T2" target="Shared_bloodTransfusionWorkflow_END" type="normal"/>
 
2484
            <arc id="bloodTransfusionWorkflow_01_exception1_to_bloodTransfusionWorkflow_01_startCheckout" source="bloodTransfusionWorkflow_01_exception1" target="bloodTransfusionWorkflow_01_startCheckout" type="normal"/>
 
2485
            <arc id="bloodTransfusionWorkflow_01_exception2_to_bloodTransfusionWorkflow_01_startCheckout" source="bloodTransfusionWorkflow_01_exception2" target="bloodTransfusionWorkflow_01_startCheckout" type="normal"/>
 
2486
            <arc id="bloodTransfusionWorkflow_01_exception3_to_bloodTransfusionWorkflow_01_startCheckout" source="bloodTransfusionWorkflow_01_exception3" target="bloodTransfusionWorkflow_01_startCheckout" type="normal"/>
 
2487
            <arc id="bloodTransfusionWorkflow_01_finishWorkflowException_to_Shared_bloodTransfusionWorkflow_END" source="bloodTransfusionWorkflow_01_finishWorkflowException" target="Shared_bloodTransfusionWorkflow_END" type="normal"/>
 
2488
            <arc id="patientInfo_02_T0_to_patientInfo_02_duration1" source="patientInfo_02_T0" target="patientInfo_02_duration1" type="normal"/>
 
2489
            <arc id="patientInfo_02_T2_to_Shared_patientInfo_END" source="patientInfo_02_T2" target="Shared_patientInfo_END" type="normal"/>
 
2490
            <arc id="patientInfo_02_T0_to_patientInfo_02_firstPatientInfo_START" source="patientInfo_02_T0" target="patientInfo_02_firstPatientInfo_START" type="normal"/>
 
2491
            <arc id="Shared_checkID_to_patientInfo_02_firstPatientInfo_END" source="Shared_checkID" target="patientInfo_02_firstPatientInfo_END" type="normal"/>
 
2492
            <arc id="patientInfo_02_T1_to_patientInfo_02_checkConsent_START" source="patientInfo_02_T1" target="patientInfo_02_checkConsent_START" type="normal">
 
2493
                <graphics>
 
2494
                    <position x="1531" y="306"/>
 
2495
                    <position x="1310" y="343"/>
 
2496
                </graphics>
 
2497
            </arc>
 
2498
            <arc id="patientInfo_02_fork1_to_patientInfo_02_patientDisagree_START" source="patientInfo_02_fork1" target="patientInfo_02_patientDisagree_START" type="normal"/>
 
2499
            <arc id="patientInfo_02_fork1_to_patientInfo_02_duration" source="patientInfo_02_fork1" target="patientInfo_02_duration" type="normal"/>
 
2500
            <arc id="patientInfo_02_fork2_to_patientInfo_02_duration" source="patientInfo_02_fork2" target="patientInfo_02_duration" type="normal"/>
 
2501
            <arc id="patientInfo_02_fork2_to_patientInfo_02_patientAgree_START" source="patientInfo_02_fork2" target="patientInfo_02_patientAgree_START" type="normal"/>
 
2502
            <arc id="patientInfo_02_patientDisagree_to_Shared_EX_consentDisagree" source="patientInfo_02_patientDisagree" target="Shared_EX_consentDisagree" type="normal"/>
 
2503
            <arc id="patientInfo_02_patientAgree_to_patientInfo_02_patientAgree_END" source="patientInfo_02_patientAgree" target="patientInfo_02_patientAgree_END" type="normal"/>
 
2504
            <arc id="patientInfo_02_join2_to_patientInfo_02_checkConsent_END" source="patientInfo_02_join2" target="patientInfo_02_checkConsent_END" type="normal"/>
 
2505
            <arc id="prepareTransfusion_03_T0_to_prepareTransfusion_03_duration1" source="prepareTransfusion_03_T0" target="prepareTransfusion_03_duration1" type="normal"/>
 
2506
            <arc id="prepareTransfusion_03_T0_to_Shared_completeDoctorOrder_START" source="prepareTransfusion_03_T0" target="Shared_completeDoctorOrder_START" type="normal"/>
 
2507
            <arc id="prepareTransfusion_03_T1_to_Shared_preTransfusijonChecks_START" source="prepareTransfusion_03_T1" target="Shared_preTransfusijonChecks_START" type="normal"/>
 
2508
            <arc id="prepareTransfusion_03_T2_to_Shared_performTransfusion_START" source="prepareTransfusion_03_T2" target="Shared_performTransfusion_START" type="normal"/>
 
2509
            <arc id="prepareTransfusion_03_T3_to_Shared_prepareTransfusion_END" source="prepareTransfusion_03_T3" target="Shared_prepareTransfusion_END" type="normal"/>
 
2510
            <arc id="completeOrderDoctor_04_fork1_to_completeOrderDoctor_04_orderComplete_START" source="completeOrderDoctor_04_fork1" target="completeOrderDoctor_04_orderComplete_START" type="normal"/>
 
2511
            <arc id="completeOrderDoctor_04_fork2_to_completeOrderDoctor_04_orderIncomplete_START" source="completeOrderDoctor_04_fork2" target="completeOrderDoctor_04_orderIncomplete_START" type="normal"/>
 
2512
            <arc id="completeOrderDoctor_04_fork1_to_completeOrderDoctor_04_duration" source="completeOrderDoctor_04_fork1" target="completeOrderDoctor_04_duration" type="normal"/>
 
2513
            <arc id="completeOrderDoctor_04_fork2_to_completeOrderDoctor_04_duration" source="completeOrderDoctor_04_fork2" target="completeOrderDoctor_04_duration" type="normal"/>
 
2514
            <arc id="completeOrderDoctor_04_orderComplete_to_completeOrderDoctor_04_orderComplete_END" source="completeOrderDoctor_04_orderComplete" target="completeOrderDoctor_04_orderComplete_END" type="normal"/>
 
2515
            <arc id="completeOrderDoctor_04_join1_to_Shared_completeDoctorOrder_END" source="completeOrderDoctor_04_join1" target="Shared_completeDoctorOrder_END" type="normal"/>
 
2516
            <arc id="completeOrderDoctor_04_orderIncomplete_to_Shared_EX_orderIncomplete" source="completeOrderDoctor_04_orderIncomplete" target="Shared_EX_orderIncomplete" type="normal"/>
 
2517
            <arc id="preTransfusionChecks_05_T0_to_preTransfusionChecks_05_aquireRoom_START" source="preTransfusionChecks_05_T0" target="preTransfusionChecks_05_aquireRoom_START" type="normal"/>
 
2518
            <arc id="preTransfusionChecks_05_T0_to_Shared_obtainBloodProduct_START" source="preTransfusionChecks_05_T0" target="Shared_obtainBloodProduct_START" type="normal"/>
 
2519
            <arc id="preTransfusionChecks_05_aquireRoom_to_preTransfusionChecks_05_aquireRoom_END" source="preTransfusionChecks_05_aquireRoom" target="preTransfusionChecks_05_aquireRoom_END" type="normal"/>
 
2520
            <arc id="preTransfusionChecks_05_finish1_to_preTransfusionChecks_05_done1" source="preTransfusionChecks_05_finish1" target="preTransfusionChecks_05_done1" type="normal"/>
 
2521
            <arc id="preTransfusionChecks_05_finish2_to_preTransfusionChecks_05_done2" source="preTransfusionChecks_05_finish2" target="preTransfusionChecks_05_done2" type="normal"/>
 
2522
            <arc id="preTransfusionChecks_05_join1_to_Shared_preTransfusijonChecks_END" source="preTransfusionChecks_05_join1" target="Shared_preTransfusijonChecks_END" type="normal"/>
 
2523
            <arc id="preTransfusionChecks_05_join2_to_Shared_preTransfusijonChecks_END" source="preTransfusionChecks_05_join2" target="Shared_preTransfusijonChecks_END" type="normal"/>
 
2524
            <arc id="preTransfusionChecks_05_T0_to_preTransfusionChecks_05_duration" source="preTransfusionChecks_05_T0" target="preTransfusionChecks_05_duration" type="normal">
 
2525
                <graphics>
 
2526
                    <position x="144" y="1374"/>
 
2527
                    <position x="324" y="1239"/>
 
2528
                </graphics>
 
2529
            </arc>
 
2530
            <arc id="obtainBloodProduct_06_T0_to_obtainBloodProduct_06_duration1" source="obtainBloodProduct_06_T0" target="obtainBloodProduct_06_duration1" type="normal"/>
 
2531
            <arc id="obtainBloodProduct_06_T2_to_Shared_obtainBloodProduct_END" source="obtainBloodProduct_06_T2" target="Shared_obtainBloodProduct_END" type="normal"/>
 
2532
            <arc id="obtainBloodProduct_06_T0_to_Shared_checkForTypeAndScreen_START" source="obtainBloodProduct_06_T0" target="Shared_checkForTypeAndScreen_START" type="normal"/>
 
2533
            <arc id="obtainBloodProduct_06_T1_to_obtainBloodProduct_06_releaseBloodProduct_START" source="obtainBloodProduct_06_T1" target="obtainBloodProduct_06_releaseBloodProduct_START" type="normal"/>
 
2534
            <arc id="Shared_releaseBloodProduct_to_obtainBloodProduct_06_releaseBloodProduct_END" source="Shared_releaseBloodProduct" target="obtainBloodProduct_06_releaseBloodProduct_END" type="normal"/>
 
2535
            <arc id="checkForTypeAndScreen_07_T0_to_checkForTypeAndScreen_07_duration" source="checkForTypeAndScreen_07_T0" target="checkForTypeAndScreen_07_duration" type="normal"/>
 
2536
            <arc id="checkForTypeAndScreen_07_T0_to_checkForTypeAndScreen_07_typeAndScreenAvailable_START" source="checkForTypeAndScreen_07_T0" target="checkForTypeAndScreen_07_typeAndScreenAvailable_START" type="normal"/>
 
2537
            <arc id="checkForTypeAndScreen_07_available_to_checkForTypeAndScreen_07_typeAndScreenAvailable_END" source="checkForTypeAndScreen_07_available" target="checkForTypeAndScreen_07_typeAndScreenAvailable_END" type="normal"/>
 
2538
            <arc id="checkForTypeAndScreen_07_finish1_to_Shared_checkForTypeAndScreen_END" source="checkForTypeAndScreen_07_finish1" target="Shared_checkForTypeAndScreen_END" type="normal"/>
 
2539
            <arc id="checkForTypeAndScreen_07_notAvailalbe_to_checkForTypeAndScreen_07_fail1" source="checkForTypeAndScreen_07_notAvailalbe" target="checkForTypeAndScreen_07_fail1" type="normal"/>
 
2540
            <arc id="checkForTypeAndScreen_07_try2_to_checkForTypeAndScreen_07_obtainTypeAndScreen_START" source="checkForTypeAndScreen_07_try2" target="checkForTypeAndScreen_07_obtainTypeAndScreen_START" type="normal">
 
2541
                <graphics>
 
2542
                    <position x="474" y="2034"/>
 
2543
                </graphics>
 
2544
            </arc>
 
2545
            <arc id="checkForTypeAndScreen_07_finish2_to_Shared_checkForTypeAndScreen_END" source="checkForTypeAndScreen_07_finish2" target="Shared_checkForTypeAndScreen_END" type="normal"/>
 
2546
            <arc id="checkForTypeAndScreen_07_T6_to_checkForTypeAndScreen_07_duration1" source="checkForTypeAndScreen_07_T6" target="checkForTypeAndScreen_07_duration1" type="normal"/>
 
2547
            <arc id="checkForTypeAndScreen_07_T8_to_checkForTypeAndScreen_07_obtainTypeAndScreen_END" source="checkForTypeAndScreen_07_T8" target="checkForTypeAndScreen_07_obtainTypeAndScreen_END" type="normal"/>
 
2548
            <arc id="checkForTypeAndScreen_07_T6_to_checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_START" source="checkForTypeAndScreen_07_T6" target="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_START" type="normal"/>
 
2549
            <arc id="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_to_checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_END" source="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess" target="checkForTypeAndScreen_07_performBloodSpecimentObtainingProcess_END" type="normal"/>
 
2550
            <arc id="checkForTypeAndScreen_07_T7_to_checkForTypeAndScreen_07_getValidation_START" source="checkForTypeAndScreen_07_T7" target="checkForTypeAndScreen_07_getValidation_START" type="normal"/>
 
2551
            <arc id="checkForTypeAndScreen_07_getValidation_to_checkForTypeAndScreen_07_getValidation_END" source="checkForTypeAndScreen_07_getValidation" target="checkForTypeAndScreen_07_getValidation_END" type="normal"/>
 
2552
            <arc id="performTransfusion_08_T0_to_performTransfusion_08_duration1" source="performTransfusion_08_T0" target="performTransfusion_08_duration1" type="normal"/>
 
2553
            <arc id="performTransfusion_08_finish_to_Shared_performTransfusion_END" source="performTransfusion_08_finish" target="Shared_performTransfusion_END" type="normal"/>
 
2554
            <arc id="performTransfusion_08_T0_to_performTransfusion_08_beginInfusionOfBloodProduct_START" source="performTransfusion_08_T0" target="performTransfusion_08_beginInfusionOfBloodProduct_START" type="normal"/>
 
2555
            <arc id="Shared_beginInfusionOfBloodProduct_to_performTransfusion_08_beginInfusionOfBloodProduct_END" source="Shared_beginInfusionOfBloodProduct" target="performTransfusion_08_beginInfusionOfBloodProduct_END" type="normal"/>
 
2556
            <arc id="performTransfusion_08_T1_to_Shared_iterateAssessPatient_START" source="performTransfusion_08_T1" target="Shared_iterateAssessPatient_START" type="normal"/>
 
2557
            <arc id="performTransfusion_08_T2_to_performTransfusion_08_releaseRoom_START" source="performTransfusion_08_T2" target="performTransfusion_08_releaseRoom_START" type="normal"/>
 
2558
            <arc id="performTransfusion_08_releaseRoom_to_performTransfusion_08_releaseRoom_END" source="performTransfusion_08_releaseRoom" target="performTransfusion_08_releaseRoom_END" type="normal"/>
 
2559
            <arc id="performTransfusion_08_T3_to_performTransfusion_08_checkoutPatientSuccess_START" source="performTransfusion_08_T3" target="performTransfusion_08_checkoutPatientSuccess_START" type="normal"/>
 
2560
            <arc id="performTransfusion_08_checkoutPatientSuccess_to_performTransfusion_08_checkoutPatientSuccess_END" source="performTransfusion_08_checkoutPatientSuccess" target="performTransfusion_08_checkoutPatientSuccess_END" type="normal"/>
 
2561
            <arc id="iterateAssessPatient_08A_start_assessment_to_Shared_assessPatient_START" source="iterateAssessPatient_08A_start_assessment" target="Shared_assessPatient_START" type="normal"/>
 
2562
            <arc id="iterateAssessPatient_08A_initialize_to_iterateAssessPatient_08A_P3" source="iterateAssessPatient_08A_initialize" target="iterateAssessPatient_08A_P3" type="normal"/>
 
2563
            <arc id="Shared_stopTransfusion_to_iterateAssessPatient_08A_stopTransfusion_END" source="Shared_stopTransfusion" target="iterateAssessPatient_08A_stopTransfusion_END" type="normal"/>
 
2564
            <arc id="iterateAssessPatient_08A_terminate_to_Shared_iterateAssessPatient_END" source="iterateAssessPatient_08A_terminate" target="Shared_iterateAssessPatient_END" type="normal"/>
 
2565
            <arc id="iterateAssessPatient_08A_initialize_to_iterateAssessPatient_08A_timer" source="iterateAssessPatient_08A_initialize" target="iterateAssessPatient_08A_timer" type="normal"/>
 
2566
            <arc id="iterateAssessPatient_08A_start_assessment_to_iterateAssessPatient_08A_timer" source="iterateAssessPatient_08A_start_assessment" target="iterateAssessPatient_08A_timer" type="normal">
 
2567
                <graphics>
 
2568
                    <position x="294" y="2469"/>
 
2569
                </graphics>
 
2570
            </arc>
 
2571
            <arc id="iterateAssessPatient_08A_finish_to_iterateAssessPatient_08A_stopTransfusion_START" source="iterateAssessPatient_08A_finish" target="iterateAssessPatient_08A_stopTransfusion_START" type="normal"/>
 
2572
            <arc id="iterateAssessPatient_08A_finish2_to_iterateAssessPatient_08A_stopTransfusion_START" source="iterateAssessPatient_08A_finish2" target="iterateAssessPatient_08A_stopTransfusion_START" type="normal">
 
2573
                <graphics>
 
2574
                    <position x="727" y="2722"/>
 
2575
                </graphics>
 
2576
            </arc>
 
2577
            <arc id="assessPatient_09_startClinicalEvaluation_to_assessPatient_09_evaluatePatientClinicallyOK_START" source="assessPatient_09_startClinicalEvaluation" target="assessPatient_09_evaluatePatientClinicallyOK_START" type="normal"/>
 
2578
            <arc id="assessPatient_09_evaluatePatientClinicallyOK_to_assessPatient_09_evaluatePatientClinicallyOK_END" source="assessPatient_09_evaluatePatientClinicallyOK" target="assessPatient_09_evaluatePatientClinicallyOK_END" type="normal"/>
 
2579
            <arc id="assessPatient_09_startClinicalEvaluation_to_assessPatient_09_duration" source="assessPatient_09_startClinicalEvaluation" target="assessPatient_09_duration" type="normal"/>
 
2580
            <arc id="assessPatient_09_finishEvaluation_to_Shared_assessPatient_END" source="assessPatient_09_finishEvaluation" target="Shared_assessPatient_END" type="normal"/>
 
2581
            <arc id="assessPatient_09_evaluatePatientClinicallyNOK_to_assessPatient_09_fail_patientNOK" source="assessPatient_09_evaluatePatientClinicallyNOK" target="assessPatient_09_fail_patientNOK" type="normal"/>
 
2582
            <arc id="assessPatient_09_finishHandlingReaction_to_Shared_assessPatient_END" source="assessPatient_09_finishHandlingReaction" target="Shared_assessPatient_END" type="normal"/>
 
2583
            <arc id="assessPatient_09_tryHandlingTransfusionReaction_to_Shared_handleTransfusionReaction_START" source="assessPatient_09_tryHandlingTransfusionReaction" target="Shared_handleTransfusionReaction_START" type="normal"/>
 
2584
            <arc id="handleTransfusionReaction_10_startAdjustIVaccess_to_handleTransfusionReaction_10_adjustIVaccess_START" source="handleTransfusionReaction_10_startAdjustIVaccess" target="handleTransfusionReaction_10_adjustIVaccess_START" type="normal"/>
 
2585
            <arc id="handleTransfusionReaction_10_adjustIVaccessOK_to_handleTransfusionReaction_10_adjustIVaccess_END" source="handleTransfusionReaction_10_adjustIVaccessOK" target="handleTransfusionReaction_10_adjustIVaccess_END" type="normal"/>
 
2586
            <arc id="handleTransfusionReaction_10_startAdjustIVaccess_to_handleTransfusionReaction_10_duration" source="handleTransfusionReaction_10_startAdjustIVaccess" target="handleTransfusionReaction_10_duration" type="normal"/>
 
2587
            <arc id="handleTransfusionReaction_10_finishAdjustIVaccess_to_Shared_handleTransfusionReaction_END" source="handleTransfusionReaction_10_finishAdjustIVaccess" target="Shared_handleTransfusionReaction_END" type="normal"/>
 
2588
            <arc id="handleTransfusionReaction_10_adjustIVaccessNOK_to_handleTransfusionReaction_10_fail_adjustIVaccess" source="handleTransfusionReaction_10_adjustIVaccessNOK" target="handleTransfusionReaction_10_fail_adjustIVaccess" type="normal"/>
 
2589
            <arc id="handleTransfusionReaction_10_try_interruptTransfusion_to_Shared_interrupTransfusion_START" source="handleTransfusionReaction_10_try_interruptTransfusion" target="Shared_interrupTransfusion_START" type="normal"/>
 
2590
            <arc id="handleTransfusionReaction_10_finish_to_Shared_handleTransfusionReaction_END" source="handleTransfusionReaction_10_finish" target="Shared_handleTransfusionReaction_END" type="normal"/>
 
2591
            <arc id="interruptTransfusion_11_T0_to_interruptTransfusion_11_duration1" source="interruptTransfusion_11_T0" target="interruptTransfusion_11_duration1" type="normal"/>
 
2592
            <arc id="interruptTransfusion_11_T3_to_Shared_interrupTransfusion_END" source="interruptTransfusion_11_T3" target="Shared_interrupTransfusion_END" type="normal"/>
 
2593
            <arc id="Shared_emergencyStopInfusion_to_interruptTransfusion_11_stopInfusion_END" source="Shared_emergencyStopInfusion" target="interruptTransfusion_11_stopInfusion_END" type="normal"/>
 
2594
            <arc id="interruptTransfusion_11_T0_to_interruptTransfusion_11_stopInfusion_START" source="interruptTransfusion_11_T0" target="interruptTransfusion_11_stopInfusion_START" type="normal"/>
 
2595
            <arc id="interruptTransfusion_11_T1_to_interruptTransfusion_11_informDoctor_START" source="interruptTransfusion_11_T1" target="interruptTransfusion_11_informDoctor_START" type="normal"/>
 
2596
            <arc id="interruptTransfusion_11_informDoctor_to_interruptTransfusion_11_informDoctor_END" source="interruptTransfusion_11_informDoctor" target="interruptTransfusion_11_informDoctor_END" type="normal"/>
 
2597
            <arc id="interruptTransfusion_11_T2_to_interruptTransfusion_11_releaseRoom_START" source="interruptTransfusion_11_T2" target="interruptTransfusion_11_releaseRoom_START" type="normal"/>
 
2598
            <arc id="interruptTransfusion_11_releaseRoom_to_interruptTransfusion_11_releaseRoom_END" source="interruptTransfusion_11_releaseRoom" target="interruptTransfusion_11_releaseRoom_END" type="normal"/>
 
2599
            <arc id="interruptTransfusion_11_exception_reactionSuspected_to_Shared_EX_reactionSuspected" source="interruptTransfusion_11_exception_reactionSuspected" target="Shared_EX_reactionSuspected" type="normal"/>
 
2600
            <arc id="bloodTransfusionWorkflow_01_duration1_to_bloodTransfusionWorkflow_01_T1" source="bloodTransfusionWorkflow_01_duration1" target="bloodTransfusionWorkflow_01_T1" type="normal"/>
 
2601
            <arc id="bloodTransfusionWorkflow_01_T1_to_bloodTransfusionWorkflow_01_duratio1_2" source="bloodTransfusionWorkflow_01_T1" target="bloodTransfusionWorkflow_01_duratio1_2" type="normal"/>
 
2602
            <arc id="patientInfo_02_duration1_to_patientInfo_02_T1" source="patientInfo_02_duration1" target="patientInfo_02_T1" type="normal"/>
 
2603
            <arc id="patientInfo_02_T1_to_patientInfo_02_duration1_2" source="patientInfo_02_T1" target="patientInfo_02_duration1_2" type="normal"/>
 
2604
            <arc id="prepareTransfusion_03_duration1_to_prepareTransfusion_03_T1" source="prepareTransfusion_03_duration1" target="prepareTransfusion_03_T1" type="normal"/>
 
2605
            <arc id="prepareTransfusion_03_T1_to_prepareTransfusion_03_duration1_2" source="prepareTransfusion_03_T1" target="prepareTransfusion_03_duration1_2" type="normal"/>
 
2606
            <arc id="prepareTransfusion_03_duration1_2_to_prepareTransfusion_03_T2" source="prepareTransfusion_03_duration1_2" target="prepareTransfusion_03_T2" type="normal"/>
 
2607
            <arc id="prepareTransfusion_03_T2_to_prepareTransfusion_03_duration_1_2_3" source="prepareTransfusion_03_T2" target="prepareTransfusion_03_duration_1_2_3" type="normal"/>
 
2608
            <arc id="obtainBloodProduct_06_duration1_to_obtainBloodProduct_06_T1" source="obtainBloodProduct_06_duration1" target="obtainBloodProduct_06_T1" type="normal"/>
 
2609
            <arc id="obtainBloodProduct_06_T1_to_obtainBloodProduct_06_duration1_2" source="obtainBloodProduct_06_T1" target="obtainBloodProduct_06_duration1_2" type="normal"/>
 
2610
            <arc id="checkForTypeAndScreen_07_duration1_to_checkForTypeAndScreen_07_T7" source="checkForTypeAndScreen_07_duration1" target="checkForTypeAndScreen_07_T7" type="normal"/>
 
2611
            <arc id="checkForTypeAndScreen_07_T7_to_checkForTypeAndScreen_07_duration1_2" source="checkForTypeAndScreen_07_T7" target="checkForTypeAndScreen_07_duration1_2" type="normal"/>
 
2612
            <arc id="performTransfusion_08_duration1_to_performTransfusion_08_T1" source="performTransfusion_08_duration1" target="performTransfusion_08_T1" type="normal"/>
 
2613
            <arc id="performTransfusion_08_T1_to_performTransfusion_08_duration1_2" source="performTransfusion_08_T1" target="performTransfusion_08_duration1_2" type="normal"/>
 
2614
            <arc id="performTransfusion_08_duration1_2_to_performTransfusion_08_T2" source="performTransfusion_08_duration1_2" target="performTransfusion_08_T2" type="normal"/>
 
2615
            <arc id="performTransfusion_08_T2_to_performTransfusion_08_duration1_2_3" source="performTransfusion_08_T2" target="performTransfusion_08_duration1_2_3" type="normal"/>
 
2616
            <arc id="performTransfusion_08_duration1_2_3_to_performTransfusion_08_T3" source="performTransfusion_08_duration1_2_3" target="performTransfusion_08_T3" type="normal"/>
 
2617
            <arc id="performTransfusion_08_T3_to_performTransfusion_08_duration1_2_3_4" source="performTransfusion_08_T3" target="performTransfusion_08_duration1_2_3_4" type="normal"/>
 
2618
            <arc id="iterateAssessPatient_08A_P5_to_iterateAssessPatient_08A_end_assesment" source="iterateAssessPatient_08A_P5" target="iterateAssessPatient_08A_end_assesment" type="normal"/>
 
2619
            <arc id="iterateAssessPatient_08A_end_assesment_to_iterateAssessPatient_08A_P3" source="iterateAssessPatient_08A_end_assesment" target="iterateAssessPatient_08A_P3" type="normal"/>
 
2620
            <arc id="iterateAssessPatient_08A_P3_to_iterateAssessPatient_08A_start_assessment" source="iterateAssessPatient_08A_P3" target="iterateAssessPatient_08A_start_assessment" type="normal"/>
 
2621
            <arc id="iterateAssessPatient_08A_start_assessment_to_iterateAssessPatient_08A_P5" source="iterateAssessPatient_08A_start_assessment" target="iterateAssessPatient_08A_P5" type="normal"/>
 
2622
            <arc id="interruptTransfusion_11_duration1_to_interruptTransfusion_11_T1" source="interruptTransfusion_11_duration1" target="interruptTransfusion_11_T1" type="normal"/>
 
2623
            <arc id="interruptTransfusion_11_T1_to_interruptTransfusion_11_duration1_2" source="interruptTransfusion_11_T1" target="interruptTransfusion_11_duration1_2" type="normal"/>
 
2624
            <arc id="interruptTransfusion_11_duration1_2_to_interruptTransfusion_11_T2" source="interruptTransfusion_11_duration1_2" target="interruptTransfusion_11_T2" type="normal"/>
 
2625
            <arc id="interruptTransfusion_11_T2_to_interruptTransfusion_11_duration1_2_3" source="interruptTransfusion_11_T2" target="interruptTransfusion_11_duration1_2_3" type="normal"/>
 
2626
            <arc id="preTransfusionChecks_05_done2_to_preTransfusionChecks_05_finish1" source="preTransfusionChecks_05_done2" target="preTransfusionChecks_05_finish1" type="inhibitor"/>
 
2627
            <arc id="preTransfusionChecks_05_done1_to_preTransfusionChecks_05_finish2" source="preTransfusionChecks_05_done1" target="preTransfusionChecks_05_finish2" type="inhibitor"/>
 
2628
            <arc id="iterateAssessPatient_08A_P3_to_iterateAssessPatient_08A_done" source="iterateAssessPatient_08A_P3" target="iterateAssessPatient_08A_done" type="inhibitor"/>
 
2629
        </page>
 
2630
        <name>
 
2631
            <text>ComposedModel</text>
 
2632
        </name>
 
2633
    </net>
 
2634
</pnml>