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">
5
<place id="Shared_RequestMedicalCheck">
7
<position x="510" y="90"/>
11
<offset x="170" y="21"/>
13
<text>Shared_RequestMedicalCheck</text>
19
<place id="Shared_MedicalCheckOK">
21
<position x="510" y="390"/>
25
<offset x="138" y="20"/>
27
<text>Shared_MedicalCheckOK</text>
33
<place id="Shared_MedicalCheckNOK">
35
<position x="510" y="270"/>
39
<offset x="149" y="21"/>
41
<text>Shared_MedicalCheckNOK</text>
47
<place id="Patient_PatientFinished">
49
<position x="180" y="285"/>
53
<offset x="-9" y="15"/>
55
<text>Patient_PatientFinished</text>
61
<place id="Patient_Waiting">
63
<position x="360" y="285"/>
67
<offset x="73" y="24"/>
69
<text>Patient_Waiting</text>
75
<place id="Patient_WaitForDecision">
77
<position x="360" y="465"/>
81
<offset x="118" y="44"/>
83
<text>Patient_WaitForDecision</text>
89
<place id="Patient_Treated">
91
<position x="180" y="465"/>
95
<offset x="-5" y="46"/>
97
<text>Patient_Treated</text>
103
<place id="Patient_Timer">
105
<position x="150" y="180"/>
109
<offset x="-5" y="35"/>
111
<text>Patient_Timer</text>
117
<place id="Patient_Patient">
119
<position x="360" y="90"/>
123
<offset x="23" y="-4"/>
125
<text>Patient_Patient</text>
131
<place id="Patient_P0">
133
<position x="360" y="225"/>
137
<offset x="-5" y="35"/>
139
<text>Patient_P0</text>
145
<place id="Nurse_Nurse">
147
<position x="585" y="90"/>
151
<offset x="-5" y="-7"/>
153
<text>Nurse_Nurse</text>
159
<place id="Nurse_Busy">
161
<position x="810" y="90"/>
165
<offset x="38" y="-12"/>
167
<text>Nurse_Busy</text>
173
<place id="Nurse_AwaitingAnswer">
175
<position x="930" y="180"/>
179
<offset x="117" y="0"/>
181
<text>Nurse_AwaitingAnswer</text>
187
<place id="Nurse_ReadyToReBook">
189
<position x="810" y="180"/>
193
<offset x="68" y="-19"/>
195
<text>Nurse_ReadyToReBook</text>
201
<place id="Nurse_ReadyToCheckout">
203
<position x="825" y="390"/>
207
<offset x="53" y="-10"/>
209
<text>Nurse_ReadyToCheckout</text>
215
<place id="Doctor_Doctor">
217
<position x="345" y="495"/>
221
<offset x="-8" y="13"/>
223
<text>Doctor_Doctor</text>
229
<place id="Doctor_ReadyForCheck">
231
<position x="540" y="585"/>
235
<offset x="126" y="21"/>
237
<text>Doctor_ReadyForCheck</text>
243
<place id="Doctor_Decision">
245
<position x="450" y="690"/>
249
<offset x="38" y="-18"/>
251
<text>Doctor_Decision</text>
257
<place id="Doctor_Finished">
259
<position x="345" y="795"/>
263
<offset x="37" y="-9"/>
265
<text>Doctor_Finished</text>
271
<place id="Monitor_InProgress">
273
<position x="660" y="600"/>
277
<offset x="-9" y="8"/>
279
<text>Monitor_InProgress</text>
285
<place id="Monitor_MissedDeadline">
287
<position x="945" y="600"/>
291
<offset x="64" y="-12"/>
293
<text>Monitor_MissedDeadline</text>
299
<transition id="Patient_Arrive">
302
<offset x="76" y="17"/>
304
<text>Patient_Arrive</text>
307
<position x="360" y="180"/>
310
<transition id="Shared_MedicalCheck">
313
<offset x="114" y="9"/>
315
<text>Shared_MedicalCheck</text>
318
<position x="360" y="375"/>
321
<transition id="Shared_Treatment">
324
<offset x="43" y="55"/>
326
<text>Shared_Treatment</text>
329
<position x="270" y="465"/>
332
<transition id="Shared_Checkout">
335
<offset x="-9" y="35"/>
337
<text>Shared_Checkout</text>
340
<position x="180" y="375"/>
343
<transition id="Shared_ReBook">
346
<offset x="39" y="-8"/>
348
<text>Shared_ReBook</text>
351
<position x="270" y="375"/>
354
<transition id="Shared_Arrival">
357
<offset x="73" y="11"/>
359
<text>Shared_Arrival</text>
362
<position x="465" y="255"/>
365
<transition id="Nurse_OpenPatientJournal">
368
<offset x="56" y="-11"/>
370
<text>Nurse_OpenPatientJournal</text>
373
<position x="930" y="90"/>
376
<transition id="Nurse_FindNewDate">
379
<offset x="-1" y="16"/>
381
<text>Nurse_FindNewDate</text>
384
<position x="810" y="270"/>
387
<transition id="Nurse_ClosePatientJournal">
390
<offset x="73" y="45"/>
392
<text>Nurse_ClosePatientJournal</text>
395
<position x="930" y="390"/>
398
<transition id="Doctor_ReadPatientJournal">
401
<offset x="140" y="6"/>
403
<text>Doctor_ReadPatientJournal</text>
406
<position x="345" y="585"/>
409
<transition id="Doctor_NOK">
412
<offset x="48" y="-1"/>
414
<text>Doctor_NOK</text>
417
<position x="345" y="690"/>
420
<transition id="Doctor_UpdatePatientJournal">
423
<offset x="71" y="51"/>
425
<text>Doctor_UpdatePatientJournal</text>
428
<position x="255" y="795"/>
431
<transition id="Monitor_MissDeadline">
434
<offset x="56" y="-13"/>
436
<text>Monitor_MissDeadline</text>
439
<position x="810" y="600"/>
442
<arc id="Patient_Timer_to_Patient_Arrive" source="Patient_Timer" target="Patient_Arrive" type="normal">
444
<position x="270" y="150"/>
447
<arc id="Patient_Patient_to_Patient_Arrive" source="Patient_Patient" target="Patient_Arrive" type="normal"/>
448
<arc id="Patient_P0_to_Shared_Arrival" source="Patient_P0" target="Shared_Arrival" type="normal"/>
449
<arc id="Nurse_Nurse_to_Shared_Arrival" source="Nurse_Nurse" target="Shared_Arrival" type="normal"/>
450
<arc id="Nurse_Busy_to_Nurse_OpenPatientJournal" source="Nurse_Busy" target="Nurse_OpenPatientJournal" type="normal"/>
451
<arc id="Shared_MedicalCheckNOK_to_Nurse_FindNewDate" source="Shared_MedicalCheckNOK" target="Nurse_FindNewDate" type="normal"/>
452
<arc id="Nurse_AwaitingAnswer_to_Nurse_FindNewDate" source="Nurse_AwaitingAnswer" target="Nurse_FindNewDate" type="normal"/>
453
<arc id="Nurse_ReadyToReBook_to_Shared_ReBook" source="Nurse_ReadyToReBook" target="Shared_ReBook" type="normal"/>
454
<arc id="Shared_MedicalCheckOK_to_Nurse_ClosePatientJournal" source="Shared_MedicalCheckOK" target="Nurse_ClosePatientJournal" type="normal"/>
455
<arc id="Nurse_AwaitingAnswer_to_Nurse_ClosePatientJournal" source="Nurse_AwaitingAnswer" target="Nurse_ClosePatientJournal" type="normal">
457
<position x="990" y="315"/>
460
<arc id="Nurse_ReadyToCheckout_to_Shared_Checkout" source="Nurse_ReadyToCheckout" target="Shared_Checkout" type="normal"/>
461
<arc id="Doctor_Doctor_to_Doctor_ReadPatientJournal" source="Doctor_Doctor" target="Doctor_ReadPatientJournal" type="normal"/>
462
<arc id="Shared_RequestMedicalCheck_to_Doctor_ReadPatientJournal" source="Shared_RequestMedicalCheck" target="Doctor_ReadPatientJournal" type="normal"/>
463
<arc id="Doctor_ReadyForCheck_to_Shared_MedicalCheck" source="Doctor_ReadyForCheck" target="Shared_MedicalCheck" type="normal"/>
464
<arc id="Doctor_Decision_to_Doctor_NOK" source="Doctor_Decision" target="Doctor_NOK" type="normal"/>
465
<arc id="Doctor_Decision_to_Shared_Treatment" source="Doctor_Decision" target="Shared_Treatment" type="normal"/>
466
<arc id="Doctor_Finished_to_Doctor_UpdatePatientJournal" source="Doctor_Finished" target="Doctor_UpdatePatientJournal" type="normal"/>
467
<arc id="Monitor_InProgress_to_Shared_Treatment" source="Monitor_InProgress" target="Shared_Treatment" type="normal"/>
468
<arc id="Monitor_InProgress_to_Shared_ReBook" source="Monitor_InProgress" target="Shared_ReBook" type="normal"/>
469
<arc id="Monitor_InProgress_to_Monitor_MissDeadline" source="Monitor_InProgress" target="Monitor_MissDeadline" type="normal"/>
470
<arc id="Patient_Arrive_to_Patient_Timer" source="Patient_Arrive" target="Patient_Timer" type="normal">
472
<position x="240" y="225"/>
475
<arc id="Shared_Arrival_to_Patient_Waiting" source="Shared_Arrival" target="Patient_Waiting" type="normal"/>
476
<arc id="Patient_Arrive_to_Patient_P0" source="Patient_Arrive" target="Patient_P0" type="normal"/>
477
<arc id="Shared_Arrival_to_Nurse_Busy" source="Shared_Arrival" target="Nurse_Busy" type="normal"/>
478
<arc id="Nurse_OpenPatientJournal_to_Nurse_AwaitingAnswer" source="Nurse_OpenPatientJournal" target="Nurse_AwaitingAnswer" type="normal"/>
479
<arc id="Nurse_OpenPatientJournal_to_Shared_RequestMedicalCheck" source="Nurse_OpenPatientJournal" target="Shared_RequestMedicalCheck" type="normal"/>
480
<arc id="Nurse_FindNewDate_to_Nurse_ReadyToReBook" source="Nurse_FindNewDate" target="Nurse_ReadyToReBook" type="normal"/>
481
<arc id="Shared_ReBook_to_Nurse_Nurse" source="Shared_ReBook" target="Nurse_Nurse" type="normal"/>
482
<arc id="Nurse_ClosePatientJournal_to_Nurse_ReadyToCheckout" source="Nurse_ClosePatientJournal" target="Nurse_ReadyToCheckout" type="normal"/>
483
<arc id="Shared_Checkout_to_Nurse_Nurse" source="Shared_Checkout" target="Nurse_Nurse" type="normal"/>
484
<arc id="Doctor_ReadPatientJournal_to_Doctor_ReadyForCheck" source="Doctor_ReadPatientJournal" target="Doctor_ReadyForCheck" type="normal"/>
485
<arc id="Shared_MedicalCheck_to_Doctor_Decision" source="Shared_MedicalCheck" target="Doctor_Decision" type="normal"/>
486
<arc id="Doctor_NOK_to_Shared_MedicalCheckNOK" source="Doctor_NOK" target="Shared_MedicalCheckNOK" type="normal"/>
487
<arc id="Shared_Treatment_to_Doctor_Finished" source="Shared_Treatment" target="Doctor_Finished" type="normal"/>
488
<arc id="Doctor_UpdatePatientJournal_to_Shared_MedicalCheckOK" source="Doctor_UpdatePatientJournal" target="Shared_MedicalCheckOK" type="normal"/>
489
<arc id="Doctor_NOK_to_Doctor_Doctor" source="Doctor_NOK" target="Doctor_Doctor" type="normal">
491
<position x="315" y="585"/>
494
<arc id="Doctor_UpdatePatientJournal_to_Doctor_Doctor" source="Doctor_UpdatePatientJournal" target="Doctor_Doctor" type="normal">
496
<position x="255" y="570"/>
499
<arc id="Shared_Arrival_to_Monitor_InProgress" source="Shared_Arrival" target="Monitor_InProgress" type="normal"/>
500
<arc id="Monitor_MissDeadline_to_Monitor_MissedDeadline" source="Monitor_MissDeadline" target="Monitor_MissedDeadline" type="normal"/>
501
<arc id="Patient_Waiting_to_Shared_MedicalCheck" source="Patient_Waiting" target="Shared_MedicalCheck" type="normal"/>
502
<arc id="Shared_MedicalCheck_to_Patient_WaitForDecision" source="Shared_MedicalCheck" target="Patient_WaitForDecision" type="normal"/>
503
<arc id="Patient_WaitForDecision_to_Shared_ReBook" source="Patient_WaitForDecision" target="Shared_ReBook" type="normal"/>
504
<arc id="Shared_ReBook_to_Patient_PatientFinished" source="Shared_ReBook" target="Patient_PatientFinished" type="normal"/>
505
<arc id="Patient_WaitForDecision_to_Shared_Treatment" source="Patient_WaitForDecision" target="Shared_Treatment" type="normal"/>
506
<arc id="Shared_Treatment_to_Patient_Treated" source="Shared_Treatment" target="Patient_Treated" type="normal"/>
507
<arc id="Patient_Treated_to_Shared_Checkout" source="Patient_Treated" target="Shared_Checkout" type="normal"/>
508
<arc id="Shared_Checkout_to_Patient_PatientFinished" source="Shared_Checkout" target="Patient_PatientFinished" type="normal"/>
511
<text>ComposedModel</text>