← Back to branch summary

~yrke/tapaal/cleanup-selectionmanager

« back to all changes in this revision

Viewing changes to src/resources/Example nets/workflow-medical.xml

merged in branch lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545 changing standard ending of TAPAAL file to .tapn

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/resources/Example nets/workflow-medical.xml
1
 
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
 
<pnml xmlns="http://www.informatik.hu-berlin.de/top/pnml/ptNetb">
3
 
<shared-place initialMarking="0" invariant="&lt;= 30" name="RequestMedicalCheck"/>
4
 
<shared-place initialMarking="0" invariant="&lt; inf" name="MedicalCheckOK"/>
5
 
<shared-place initialMarking="0" invariant="&lt; inf" name="MedicalCheckNOK"/>
6
 
<shared-transition name="Arrival" urgent="true"/>
7
 
<shared-transition name="MedicalCheck" urgent="false"/>
8
 
<shared-transition name="ReBook" urgent="false"/>
9
 
<shared-transition name="Treatment" urgent="false"/>
10
 
<shared-transition name="Checkout" urgent="false"/>
11
 
<constant name="Deadline" value="91"/>
12
 
<constant name="ArrivalTime" value="30"/>
13
 
<net active="true" id="Patient" type="P/T net">
14
 
<place id="PatientFinished" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="PatientFinished" nameOffsetX="-9.0" nameOffsetY="15.0" positionX="180.0" positionY="285.0"/>
15
 
<place id="WaitingForDoctor" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="WaitingForDoctor" nameOffsetX="5.0" nameOffsetY="16.0" positionX="360.0" positionY="285.0"/>
16
 
<place id="WaitForDecision" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="WaitForDecision" nameOffsetX="118.0" nameOffsetY="44.0" positionX="360.0" positionY="465.0"/>
17
 
<place id="Treated" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Treated" nameOffsetX="-5.0" nameOffsetY="46.0" positionX="180.0" positionY="465.0"/>
18
 
<place id="Timer" initialMarking="1" invariant="&lt;= ArrivalTime" markingOffsetX="0.0" markingOffsetY="0.0" name="Timer" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="150.0" positionY="180.0"/>
19
 
<place id="Patient" initialMarking="4" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Patient" nameOffsetX="23.0" nameOffsetY="-4.0" positionX="360.0" positionY="90.0"/>
20
 
<place id="WaitingForNurse" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="WaitingForNurse" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="360.0" positionY="225.0"/>
21
 
<transition angle="0" id="Arrive" infiniteServer="false" name="Arrive" nameOffsetX="76.0" nameOffsetY="17.0" positionX="360.0" positionY="180.0" priority="0" urgent="false"/>
22
 
<transition angle="270" id="MedicalCheck" infiniteServer="false" name="MedicalCheck" nameOffsetX="114.0" nameOffsetY="9.0" positionX="360.0" positionY="375.0" priority="0" urgent="false"/>
23
 
<transition angle="0" id="Treatment" infiniteServer="false" name="Treatment" nameOffsetX="43.0" nameOffsetY="55.0" positionX="270.0" positionY="465.0" priority="0" urgent="false"/>
24
 
<transition angle="90" id="Checkout" infiniteServer="false" name="Checkout" nameOffsetX="-9.0" nameOffsetY="35.0" positionX="180.0" positionY="375.0" priority="0" urgent="false"/>
25
 
<transition angle="225" id="ReBook" infiniteServer="false" name="ReBook" nameOffsetX="39.0" nameOffsetY="-8.0" positionX="270.0" positionY="375.0" priority="0" urgent="false"/>
26
 
<transition angle="0" id="Arrival" infiniteServer="false" name="Arrival" nameOffsetX="73.0" nameOffsetY="11.0" positionX="465.0" positionY="255.0" priority="0" urgent="true"/>
27
 
<transition angle="0" id="T0" infiniteServer="false" name="T0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="150.0" positionY="90.0" priority="0" urgent="false"/>
28
 
<arc id="Timer to Arrival" inscription="[ArrivalTime,ArrivalTime]" source="Timer" target="Arrive" type="timed" weight="1">
29
 
<arcpath arcPointType="false" id="0" xCoord="174" yCoord="183"/>
30
 
<arcpath arcPointType="true" id="1" xCoord="273" yCoord="153"/>
31
 
<arcpath arcPointType="false" id="2" xCoord="367" yCoord="187"/>
32
 
</arc>
33
 
<arc id="Arrival to Timer" inscription="1" source="Arrive" target="Timer" type="normal" weight="1">
34
 
<arcpath arcPointType="false" id="0" xCoord="366" yCoord="197"/>
35
 
<arcpath arcPointType="true" id="1" xCoord="243" yCoord="228"/>
36
 
<arcpath arcPointType="false" id="2" xCoord="175" yCoord="198"/>
37
 
</arc>
38
 
<arc id="Waiting to MedicalCheck" inscription="[0,inf):1" source="WaitingForDoctor" target="MedicalCheck" type="transport" weight="1">
39
 
<arcpath arcPointType="false" id="0" xCoord="372" yCoord="311"/>
40
 
<arcpath arcPointType="false" id="1" xCoord="372" yCoord="382"/>
41
 
</arc>
42
 
<arc id="MedicalCheck to WaitForDecision" inscription="[0,inf):1" source="MedicalCheck" target="WaitForDecision" type="transport" weight="1">
43
 
<arcpath arcPointType="false" id="0" xCoord="372" yCoord="392"/>
44
 
<arcpath arcPointType="false" id="1" xCoord="372" yCoord="462"/>
45
 
</arc>
46
 
<arc id="WaitForDecision to ReBook" inscription="[0,inf):1" source="WaitForDecision" target="ReBook" type="transport" weight="1">
47
 
<arcpath arcPointType="false" id="0" xCoord="361" yCoord="466"/>
48
 
<arcpath arcPointType="false" id="1" xCoord="286" yCoord="390"/>
49
 
</arc>
50
 
<arc id="ReBook to PatientFinished" inscription="[0,inf):1" source="ReBook" target="PatientFinished" type="transport" weight="1">
51
 
<arcpath arcPointType="false" id="0" xCoord="278" yCoord="383"/>
52
 
<arcpath arcPointType="false" id="1" xCoord="202" yCoord="307"/>
53
 
</arc>
54
 
<arc id="WaitForDecision to Treatment" inscription="[0,inf):1" source="WaitForDecision" target="Treatment" type="transport" weight="1">
55
 
<arcpath arcPointType="false" id="0" xCoord="357" yCoord="477"/>
56
 
<arcpath arcPointType="false" id="1" xCoord="286" yCoord="477"/>
57
 
</arc>
58
 
<arc id="Treatment to Treated" inscription="[0,inf):1" source="Treatment" target="Treated" type="transport" weight="1">
59
 
<arcpath arcPointType="false" id="0" xCoord="276" yCoord="477"/>
60
 
<arcpath arcPointType="false" id="1" xCoord="206" yCoord="477"/>
61
 
</arc>
62
 
<arc id="Treated to Checkout" inscription="[0,inf):1" source="Treated" target="Checkout" type="transport" weight="1">
63
 
<arcpath arcPointType="false" id="0" xCoord="191" yCoord="462"/>
64
 
<arcpath arcPointType="false" id="1" xCoord="191" yCoord="391"/>
65
 
</arc>
66
 
<arc id="Checkout to PatientFinished" inscription="[0,inf):1" source="Checkout" target="PatientFinished" type="transport" weight="1">
67
 
<arcpath arcPointType="false" id="0" xCoord="191" yCoord="381"/>
68
 
<arcpath arcPointType="false" id="1" xCoord="191" yCoord="311"/>
69
 
</arc>
70
 
<arc id="Patient to Arrival" inscription="[0,inf)" source="Patient" target="Arrive" type="timed" weight="1">
71
 
<arcpath arcPointType="false" id="0" xCoord="372" yCoord="116"/>
72
 
<arcpath arcPointType="false" id="1" xCoord="372" yCoord="177"/>
73
 
</arc>
74
 
<arc id="P0 to Arrival" inscription="[0,inf)" source="WaitingForNurse" target="Arrival" type="timed" weight="1">
75
 
<arcpath arcPointType="false" id="0" xCoord="386" yCoord="240"/>
76
 
<arcpath arcPointType="false" id="1" xCoord="472" yCoord="262"/>
77
 
</arc>
78
 
<arc id="Arrival to Waiting" inscription="1" source="Arrival" target="WaitingForDoctor" type="normal" weight="1">
79
 
<arcpath arcPointType="false" id="0" xCoord="471" yCoord="272"/>
80
 
<arcpath arcPointType="false" id="1" xCoord="386" yCoord="293"/>
81
 
</arc>
82
 
<arc id="Arrive to P0" inscription="1" source="Arrive" target="WaitingForNurse" type="normal" weight="1">
83
 
<arcpath arcPointType="false" id="0" xCoord="372" yCoord="207"/>
84
 
<arcpath arcPointType="false" id="1" xCoord="372" yCoord="222"/>
85
 
</arc>
86
 
<arc id="Patient to T0" inscription="[0,inf)" source="Patient" target="T0" type="tapnInhibitor" weight="1">
87
 
<arcpath arcPointType="false" id="0" xCoord="357" yCoord="102"/>
88
 
<arcpath arcPointType="false" id="1" xCoord="166" yCoord="102"/>
89
 
</arc>
90
 
<arc id="Timer to T0" inscription="[0,inf)" source="Timer" target="T0" type="timed" weight="1">
91
 
<arcpath arcPointType="false" id="0" xCoord="162" yCoord="177"/>
92
 
<arcpath arcPointType="false" id="1" xCoord="162" yCoord="117"/>
93
 
</arc>
94
 
</net>
95
 
<net active="true" id="Nurse" type="P/T net">
96
 
<place id="Nurse" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Nurse" nameOffsetX="-5.0" nameOffsetY="-7.0" positionX="45.0" positionY="90.0"/>
97
 
<place id="Busy" initialMarking="0" invariant="&lt;= 10" markingOffsetX="0.0" markingOffsetY="0.0" name="Busy" nameOffsetX="38.0" nameOffsetY="-12.0" positionX="270.0" positionY="90.0"/>
98
 
<place id="AwaitingAnswer" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="AwaitingAnswer" nameOffsetX="117.0" nameOffsetY="0.0" positionX="390.0" positionY="180.0"/>
99
 
<place id="RequestMedicalCheck" initialMarking="0" invariant="&lt;= 30" markingOffsetX="0.0" markingOffsetY="0.0" name="RequestMedicalCheck" nameOffsetX="170.0" nameOffsetY="21.0" positionX="510.0" positionY="90.0"/>
100
 
<place id="MedicalCheckOK" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="MedicalCheckOK" nameOffsetX="138.0" nameOffsetY="20.0" positionX="510.0" positionY="390.0"/>
101
 
<place id="MedicalCheckNOK" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="MedicalCheckNOK" nameOffsetX="149.0" nameOffsetY="21.0" positionX="510.0" positionY="270.0"/>
102
 
<place id="ReadyToReBook" initialMarking="0" invariant="&lt;= 5" markingOffsetX="0.0" markingOffsetY="0.0" name="ReadyToReBook" nameOffsetX="68.0" nameOffsetY="-19.0" positionX="270.0" positionY="180.0"/>
103
 
<place id="ReadyToCheckout" initialMarking="0" invariant="&lt;= 15" markingOffsetX="0.0" markingOffsetY="0.0" name="ReadyToCheckout" nameOffsetX="53.0" nameOffsetY="-10.0" positionX="285.0" positionY="390.0"/>
104
 
<transition angle="0" id="Arrival" infiniteServer="false" name="Arrival" nameOffsetX="27.0" nameOffsetY="-10.0" positionX="150.0" positionY="90.0" priority="0" urgent="true"/>
105
 
<transition angle="0" id="OpenPatientJournal" infiniteServer="false" name="OpenPatientJournal" nameOffsetX="56.0" nameOffsetY="-11.0" positionX="390.0" positionY="90.0" priority="0" urgent="false"/>
106
 
<transition angle="0" id="ReBook" infiniteServer="false" name="ReBook" nameOffsetX="39.0" nameOffsetY="-12.0" positionX="150.0" positionY="180.0" priority="0" urgent="false"/>
107
 
<transition angle="0" id="FindNewDate" infiniteServer="false" name="FindNewDate" nameOffsetX="-1.0" nameOffsetY="16.0" positionX="270.0" positionY="270.0" priority="0" urgent="true"/>
108
 
<transition angle="0" id="ClosePatientJournal" infiniteServer="false" name="ClosePatientJournal" nameOffsetX="73.0" nameOffsetY="45.0" positionX="390.0" positionY="390.0" priority="0" urgent="true"/>
109
 
<transition angle="0" id="Checkout" infiniteServer="false" name="Checkout" nameOffsetX="52.0" nameOffsetY="-36.0" positionX="150.0" positionY="390.0" priority="0" urgent="false"/>
110
 
<arc id="Nurse to Arrival" inscription="[0,inf)" source="Nurse" target="Arrival" type="timed" weight="1">
111
 
<arcpath arcPointType="false" id="0" xCoord="73" yCoord="104"/>
112
 
<arcpath arcPointType="false" id="1" xCoord="156" yCoord="102"/>
113
 
</arc>
114
 
<arc id="Arrival to Busy" inscription="1" source="Arrival" target="Busy" type="normal" weight="1">
115
 
<arcpath arcPointType="false" id="0" xCoord="168" yCoord="104"/>
116
 
<arcpath arcPointType="false" id="1" xCoord="269" yCoord="104"/>
117
 
</arc>
118
 
<arc id="Busy to OpenPatientJournal" inscription="[0,10]" source="Busy" target="OpenPatientJournal" type="timed" weight="1">
119
 
<arcpath arcPointType="false" id="0" xCoord="298" yCoord="104"/>
120
 
<arcpath arcPointType="false" id="1" xCoord="396" yCoord="102"/>
121
 
</arc>
122
 
<arc id="OpenPatientJournal to AwaitingAnswer" inscription="1" source="OpenPatientJournal" target="AwaitingAnswer" type="normal" weight="1">
123
 
<arcpath arcPointType="false" id="0" xCoord="402" yCoord="117"/>
124
 
<arcpath arcPointType="false" id="1" xCoord="404" yCoord="179"/>
125
 
</arc>
126
 
<arc id="OpenPatientJournal to RequestMedicalCheck" inscription="1" source="OpenPatientJournal" target="RequestMedicalCheck" type="normal" weight="1">
127
 
<arcpath arcPointType="false" id="0" xCoord="408" yCoord="104"/>
128
 
<arcpath arcPointType="false" id="1" xCoord="509" yCoord="104"/>
129
 
</arc>
130
 
<arc id="MedicalCheckNOK to FindNewDate" inscription="[0,inf)" source="MedicalCheckNOK" target="FindNewDate" type="timed" weight="1">
131
 
<arcpath arcPointType="false" id="0" xCoord="509" yCoord="284"/>
132
 
<arcpath arcPointType="false" id="1" xCoord="286" yCoord="287"/>
133
 
</arc>
134
 
<arc id="FindNewDate to ReadyToReBook" inscription="1" source="FindNewDate" target="ReadyToReBook" type="normal" weight="1">
135
 
<arcpath arcPointType="false" id="0" xCoord="282" yCoord="267"/>
136
 
<arcpath arcPointType="false" id="1" xCoord="284" yCoord="208"/>
137
 
</arc>
138
 
<arc id="AwaitingAnswer to FindNewDate" inscription="[0,inf)" source="AwaitingAnswer" target="FindNewDate" type="timed" weight="1">
139
 
<arcpath arcPointType="false" id="0" xCoord="391" yCoord="202"/>
140
 
<arcpath arcPointType="false" id="1" xCoord="289" yCoord="279"/>
141
 
</arc>
142
 
<arc id="ReadyToReBook to ReBook" inscription="[1,5]" source="ReadyToReBook" target="ReBook" type="timed" weight="1">
143
 
<arcpath arcPointType="false" id="0" xCoord="269" yCoord="194"/>
144
 
<arcpath arcPointType="false" id="1" xCoord="166" yCoord="192"/>
145
 
</arc>
146
 
<arc id="ReBook to Nurse" inscription="1" source="ReBook" target="Nurse" type="normal" weight="1">
147
 
<arcpath arcPointType="false" id="0" xCoord="158" yCoord="194"/>
148
 
<arcpath arcPointType="false" id="1" xCoord="70" yCoord="114"/>
149
 
</arc>
150
 
<arc id="MedicalCheckOK to ClosePatientJournal" inscription="[0,inf)" source="MedicalCheckOK" target="ClosePatientJournal" type="timed" weight="1">
151
 
<arcpath arcPointType="false" id="0" xCoord="509" yCoord="404"/>
152
 
<arcpath arcPointType="false" id="1" xCoord="406" yCoord="402"/>
153
 
</arc>
154
 
<arc id="ClosePatientJournal to ReadyToCheckout" inscription="1" source="ClosePatientJournal" target="ReadyToCheckout" type="normal" weight="1">
155
 
<arcpath arcPointType="false" id="0" xCoord="396" yCoord="402"/>
156
 
<arcpath arcPointType="false" id="1" xCoord="313" yCoord="404"/>
157
 
</arc>
158
 
<arc id="AwaitingAnswer to ClosePatientJournal" inscription="[0,inf)" source="AwaitingAnswer" target="ClosePatientJournal" type="timed" weight="1">
159
 
<arcpath arcPointType="false" id="0" xCoord="413" yCoord="205"/>
160
 
<arcpath arcPointType="true" id="1" xCoord="453" yCoord="318"/>
161
 
<arcpath arcPointType="false" id="2" xCoord="404" yCoord="389"/>
162
 
</arc>
163
 
<arc id="ReadyToCheckout to Checkout" inscription="[10,15]" source="ReadyToCheckout" target="Checkout" type="timed" weight="1">
164
 
<arcpath arcPointType="false" id="0" xCoord="284" yCoord="404"/>
165
 
<arcpath arcPointType="false" id="1" xCoord="166" yCoord="402"/>
166
 
</arc>
167
 
<arc id="Checkout to Nurse" inscription="1" source="Checkout" target="Nurse" type="normal" weight="1">
168
 
<arcpath arcPointType="false" id="0" xCoord="164" yCoord="389"/>
169
 
<arcpath arcPointType="false" id="1" xCoord="64" yCoord="118"/>
170
 
</arc>
171
 
</net>
172
 
<net active="true" id="Doctor" type="P/T net">
173
 
<place id="Doctor" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Doctor" nameOffsetX="-8.0" nameOffsetY="13.0" positionX="345.0" positionY="30.0"/>
174
 
<place id="RequestMedicalCheck" initialMarking="0" invariant="&lt;= 30" markingOffsetX="0.0" markingOffsetY="0.0" name="RequestMedicalCheck" nameOffsetX="-19.0" nameOffsetY="16.0" positionX="150.0" positionY="120.0"/>
175
 
<place id="MedicalCheckNOK" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="MedicalCheckNOK" nameOffsetX="-19.0" nameOffsetY="19.0" positionX="150.0" positionY="225.0"/>
176
 
<place id="MedicalCheckOK" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="MedicalCheckOK" nameOffsetX="-21.0" nameOffsetY="7.0" positionX="150.0" positionY="330.0"/>
177
 
<place id="ReadyForCheck" initialMarking="0" invariant="&lt;= 40" markingOffsetX="0.0" markingOffsetY="0.0" name="ReadyForCheck" nameOffsetX="126.0" nameOffsetY="21.0" positionX="540.0" positionY="120.0"/>
178
 
<place id="Decision" initialMarking="0" invariant="&lt;= 5" markingOffsetX="0.0" markingOffsetY="0.0" name="Decision" nameOffsetX="38.0" nameOffsetY="-18.0" positionX="450.0" positionY="225.0"/>
179
 
<place id="Finished" initialMarking="0" invariant="&lt;= 10" markingOffsetX="0.0" markingOffsetY="0.0" name="Finished" nameOffsetX="37.0" nameOffsetY="-9.0" positionX="345.0" positionY="330.0"/>
180
 
<transition angle="0" id="ReadPatientJournal" infiniteServer="false" name="ReadPatientJournal" nameOffsetX="140.0" nameOffsetY="6.0" positionX="345.0" positionY="120.0" priority="0" urgent="false"/>
181
 
<transition angle="0" id="MedicalCheck" infiniteServer="false" name="MedicalCheck" nameOffsetX="107.0" nameOffsetY="12.0" positionX="540.0" positionY="225.0" priority="0" urgent="false"/>
182
 
<transition angle="0" id="Treatment" infiniteServer="false" name="Treatment" nameOffsetX="87.0" nameOffsetY="14.0" positionX="450.0" positionY="330.0" priority="0" urgent="false"/>
183
 
<transition angle="0" id="NOK" infiniteServer="false" name="NOK" nameOffsetX="48.0" nameOffsetY="-1.0" positionX="345.0" positionY="225.0" priority="0" urgent="false"/>
184
 
<transition angle="0" id="UpdatePatientJournal" infiniteServer="false" name="UpdatePatientJournal" nameOffsetX="71.0" nameOffsetY="51.0" positionX="255.0" positionY="330.0" priority="0" urgent="false"/>
185
 
<arc id="Doctor to ReadPatientJournal" inscription="[0,inf)" source="Doctor" target="ReadPatientJournal" type="timed" weight="1">
186
 
<arcpath arcPointType="false" id="0" xCoord="359" yCoord="58"/>
187
 
<arcpath arcPointType="false" id="1" xCoord="357" yCoord="117"/>
188
 
</arc>
189
 
<arc id="RequestMedicalCheck to ReadPatientJournal" inscription="[5,30]" source="RequestMedicalCheck" target="ReadPatientJournal" type="timed" weight="1">
190
 
<arcpath arcPointType="false" id="0" xCoord="178" yCoord="134"/>
191
 
<arcpath arcPointType="false" id="1" xCoord="351" yCoord="132"/>
192
 
</arc>
193
 
<arc id="ReadPatientJournal to ReadyForCheck" inscription="1" source="ReadPatientJournal" target="ReadyForCheck" type="normal" weight="1">
194
 
<arcpath arcPointType="false" id="0" xCoord="363" yCoord="134"/>
195
 
<arcpath arcPointType="false" id="1" xCoord="539" yCoord="134"/>
196
 
</arc>
197
 
<arc id="ReadyForCheck to MedicalCheck" inscription="[10,40]" source="ReadyForCheck" target="MedicalCheck" type="timed" weight="1">
198
 
<arcpath arcPointType="false" id="0" xCoord="554" yCoord="148"/>
199
 
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="222"/>
200
 
</arc>
201
 
<arc id="MedicalCheck to Decision" inscription="1" source="MedicalCheck" target="Decision" type="normal" weight="1">
202
 
<arcpath arcPointType="false" id="0" xCoord="548" yCoord="239"/>
203
 
<arcpath arcPointType="false" id="1" xCoord="478" yCoord="239"/>
204
 
</arc>
205
 
<arc id="Decision to NOK" inscription="[1,5]" source="Decision" target="NOK" type="timed" weight="1">
206
 
<arcpath arcPointType="false" id="0" xCoord="449" yCoord="239"/>
207
 
<arcpath arcPointType="false" id="1" xCoord="361" yCoord="237"/>
208
 
</arc>
209
 
<arc id="NOK to MedicalCheckNOK" inscription="1" source="NOK" target="MedicalCheckNOK" type="normal" weight="1">
210
 
<arcpath arcPointType="false" id="0" xCoord="351" yCoord="237"/>
211
 
<arcpath arcPointType="false" id="1" xCoord="178" yCoord="239"/>
212
 
</arc>
213
 
<arc id="Decision to Treatment" inscription="[1,5]" source="Decision" target="Treatment" type="timed" weight="1">
214
 
<arcpath arcPointType="false" id="0" xCoord="464" yCoord="253"/>
215
 
<arcpath arcPointType="false" id="1" xCoord="462" yCoord="327"/>
216
 
</arc>
217
 
<arc id="Treatment to Finished" inscription="1" source="Treatment" target="Finished" type="normal" weight="1">
218
 
<arcpath arcPointType="false" id="0" xCoord="458" yCoord="344"/>
219
 
<arcpath arcPointType="false" id="1" xCoord="373" yCoord="344"/>
220
 
</arc>
221
 
<arc id="Finished to UpdatePatientJournal" inscription="[5,10]" source="Finished" target="UpdatePatientJournal" type="timed" weight="1">
222
 
<arcpath arcPointType="false" id="0" xCoord="344" yCoord="344"/>
223
 
<arcpath arcPointType="false" id="1" xCoord="271" yCoord="342"/>
224
 
</arc>
225
 
<arc id="UpdatePatientJournal to MedicalCheckOK" inscription="1" source="UpdatePatientJournal" target="MedicalCheckOK" type="normal" weight="1">
226
 
<arcpath arcPointType="false" id="0" xCoord="261" yCoord="342"/>
227
 
<arcpath arcPointType="false" id="1" xCoord="178" yCoord="344"/>
228
 
</arc>
229
 
<arc id="NOK to Doctor" inscription="1" source="NOK" target="Doctor" type="normal" weight="1">
230
 
<arcpath arcPointType="false" id="0" xCoord="359" yCoord="224"/>
231
 
<arcpath arcPointType="true" id="1" xCoord="318" yCoord="123"/>
232
 
<arcpath arcPointType="false" id="2" xCoord="352" yCoord="57"/>
233
 
</arc>
234
 
<arc id="UpdatePatientJournal to Doctor" inscription="1" source="UpdatePatientJournal" target="Doctor" type="normal" weight="1">
235
 
<arcpath arcPointType="false" id="0" xCoord="269" yCoord="329"/>
236
 
<arcpath arcPointType="true" id="1" xCoord="258" yCoord="108"/>
237
 
<arcpath arcPointType="false" id="2" xCoord="346" yCoord="52"/>
238
 
</arc>
239
 
</net>
240
 
<net active="true" id="Monitor" type="P/T net">
241
 
<place id="InProgress" initialMarking="0" invariant="&lt;= Deadline" markingOffsetX="0.0" markingOffsetY="0.0" name="InProgress" nameOffsetX="-9.0" nameOffsetY="8.0" positionX="120.0" positionY="135.0"/>
242
 
<place id="MissedDeadline" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="MissedDeadline" nameOffsetX="64.0" nameOffsetY="-12.0" positionX="405.0" positionY="135.0"/>
243
 
<transition angle="270" id="Arrival" infiniteServer="false" name="Arrival" nameOffsetX="-12.0" nameOffsetY="22.0" positionX="120.0" positionY="30.0" priority="0" urgent="true"/>
244
 
<transition angle="315" id="Treatment" infiniteServer="false" name="Treatment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="60.0" positionY="225.0" priority="0" urgent="false"/>
245
 
<transition angle="225" id="ReBook" infiniteServer="false" name="ReBook" nameOffsetX="68.0" nameOffsetY="36.0" positionX="195.0" positionY="225.0" priority="0" urgent="false"/>
246
 
<transition angle="0" id="MissDeadline" infiniteServer="false" name="MissDeadline" nameOffsetX="56.0" nameOffsetY="-13.0" positionX="270.0" positionY="135.0" priority="0" urgent="false"/>
247
 
<arc id="Arrival to InProgress" inscription="1" source="Arrival" target="InProgress" type="normal" weight="1">
248
 
<arcpath arcPointType="false" id="0" xCoord="132" yCoord="47"/>
249
 
<arcpath arcPointType="false" id="1" xCoord="132" yCoord="132"/>
250
 
</arc>
251
 
<arc id="InProgress to Treatment" inscription="[0,inf)" source="InProgress" target="Treatment" type="timed" weight="1">
252
 
<arcpath arcPointType="false" id="0" xCoord="123" yCoord="159"/>
253
 
<arcpath arcPointType="false" id="1" xCoord="75" yCoord="233"/>
254
 
</arc>
255
 
<arc id="InProgress to ReBook" inscription="[0,inf)" source="InProgress" target="ReBook" type="timed" weight="1">
256
 
<arcpath arcPointType="false" id="0" xCoord="141" yCoord="158"/>
257
 
<arcpath arcPointType="false" id="1" xCoord="203" yCoord="233"/>
258
 
</arc>
259
 
<arc id="InProgress to MissDeadline" inscription="[Deadline,Deadline]" source="InProgress" target="MissDeadline" type="timed" weight="1">
260
 
<arcpath arcPointType="false" id="0" xCoord="146" yCoord="147"/>
261
 
<arcpath arcPointType="false" id="1" xCoord="276" yCoord="147"/>
262
 
</arc>
263
 
<arc id="MissDeadline to MissedDeadline" inscription="1" source="MissDeadline" target="MissedDeadline" type="normal" weight="1">
264
 
<arcpath arcPointType="false" id="0" xCoord="286" yCoord="147"/>
265
 
<arcpath arcPointType="false" id="1" xCoord="402" yCoord="147"/>
266
 
</arc>
267
 
</net>
268
 
<query active="true" approximationDenominator="2" capacity="2" discreteInclusion="false" enableOverApproximation="false" enableUnderApproximation="false" extrapolationOption="null" gcd="true" hashTableSize="null" inclusionPlaces="*NONE*" name="Arrival-to-Treatment Deadline OK" overApproximation="true" pTrie="false" query="AG Monitor.MissedDeadline &lt;= 0" reduction="true" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" timeDarts="false" traceOption="SOME"/>
269
 
<query active="true" approximationDenominator="2" capacity="2" discreteInclusion="false" enableOverApproximation="false" enableUnderApproximation="false" extrapolationOption="null" gcd="false" hashTableSize="null" inclusionPlaces="*NONE*" name="Eventually All Patients Finished" overApproximation="false" pTrie="false" query="AF Patient.PatientFinished &gt;= 4" reduction="true" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" timeDarts="false" traceOption="SOME"/>
270
 
<k-bound bound="3"/>
271
 
</pnml>