← Back to branch summary

~tapaal-contributor/tapaal/update-zoom-percentage-on-ctrl+scroll-1785023

« back to all changes in this revision

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

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.tapn
 
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>