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_Doctor1">
7
<position x="315" y="150"/>
11
<offset x="-5" y="35"/>
13
<text>Shared_Doctor1</text>
19
<place id="Shared_Doctor2">
21
<position x="435" y="150"/>
25
<offset x="-5" y="35"/>
27
<text>Shared_Doctor2</text>
33
<place id="Shared_in1">
35
<position x="300" y="90"/>
39
<offset x="68" y="24"/>
41
<text>Shared_in1</text>
47
<place id="Shared_in2">
49
<position x="315" y="315"/>
53
<offset x="59" y="32"/>
55
<text>Shared_in2</text>
61
<place id="WorkflowNet1_out">
63
<position x="660" y="180"/>
67
<offset x="60" y="18"/>
69
<text>WorkflowNet1_out</text>
75
<place id="WorkflowNet1_Doctor1_working">
77
<position x="330" y="45"/>
81
<offset x="32" y="-12"/>
83
<text>WorkflowNet1_Doctor1_working</text>
89
<place id="WorkflowNet1_Doctor2_working">
91
<position x="555" y="45"/>
95
<offset x="89" y="-15"/>
97
<text>WorkflowNet1_Doctor2_working</text>
103
<place id="WorkflowNet2_out">
105
<position x="1320" y="180"/>
109
<offset x="60" y="18"/>
111
<text>WorkflowNet2_out</text>
117
<place id="WorkflowNet2_Doctor1_working">
119
<position x="990" y="45"/>
123
<offset x="32" y="-12"/>
125
<text>WorkflowNet2_Doctor1_working</text>
131
<place id="WorkflowNet2_Doctor2_working">
133
<position x="1215" y="45"/>
137
<offset x="89" y="-15"/>
139
<text>WorkflowNet2_Doctor2_working</text>
145
<place id="SynchronousStart_start">
147
<position x="75" y="495"/>
151
<offset x="-5" y="35"/>
153
<text>SynchronousStart_start</text>
159
<transition id="WorkflowNet1_treat">
162
<offset x="-9" y="10"/>
164
<text>WorkflowNet1_treat</text>
167
<position x="240" y="45"/>
170
<transition id="WorkflowNet1_wait_for_tomorrow">
173
<offset x="-5" y="35"/>
175
<text>WorkflowNet1_wait_for_tomorrow</text>
178
<position x="240" y="315"/>
181
<transition id="WorkflowNet1_Doctor1_done">
184
<offset x="44" y="-17"/>
186
<text>WorkflowNet1_Doctor1_done</text>
189
<position x="435" y="45"/>
192
<transition id="WorkflowNet1_Doctor2_done_Doctor1_check">
195
<offset x="189" y="17"/>
197
<text>WorkflowNet1_Doctor2_done_Doctor1_check</text>
200
<position x="585" y="120"/>
203
<transition id="WorkflowNet2_treat">
206
<offset x="-9" y="10"/>
208
<text>WorkflowNet2_treat</text>
211
<position x="900" y="45"/>
214
<transition id="WorkflowNet2_wait_for_tomorrow">
217
<offset x="-5" y="35"/>
219
<text>WorkflowNet2_wait_for_tomorrow</text>
222
<position x="900" y="315"/>
225
<transition id="WorkflowNet2_Doctor1_done">
228
<offset x="44" y="-17"/>
230
<text>WorkflowNet2_Doctor1_done</text>
233
<position x="1095" y="45"/>
236
<transition id="WorkflowNet2_Doctor2_done_Doctor1_check">
239
<offset x="189" y="17"/>
241
<text>WorkflowNet2_Doctor2_done_Doctor1_check</text>
244
<position x="1245" y="120"/>
247
<transition id="SynchronousStart_SynchStart">
250
<offset x="-5" y="35"/>
252
<text>SynchronousStart_SynchStart</text>
255
<position x="195" y="495"/>
258
<arc id="Shared_in1_to_WorkflowNet1_treat" source="Shared_in1" target="WorkflowNet1_treat" type="normal"/>
259
<arc id="Shared_in1_to_WorkflowNet1_wait_for_tomorrow" source="Shared_in1" target="WorkflowNet1_wait_for_tomorrow" type="normal"/>
260
<arc id="Shared_Doctor1_to_WorkflowNet1_treat" source="Shared_Doctor1" target="WorkflowNet1_treat" type="normal"/>
261
<arc id="WorkflowNet1_Doctor1_working_to_WorkflowNet1_Doctor1_done" source="WorkflowNet1_Doctor1_working" target="WorkflowNet1_Doctor1_done" type="normal"/>
262
<arc id="Shared_Doctor2_to_WorkflowNet1_Doctor1_done" source="Shared_Doctor2" target="WorkflowNet1_Doctor1_done" type="normal"/>
263
<arc id="WorkflowNet1_Doctor2_working_to_WorkflowNet1_Doctor2_done_Doctor1_check" source="WorkflowNet1_Doctor2_working" target="WorkflowNet1_Doctor2_done_Doctor1_check" type="normal"/>
264
<arc id="Shared_Doctor1_to_WorkflowNet1_Doctor2_done_Doctor1_check" source="Shared_Doctor1" target="WorkflowNet1_Doctor2_done_Doctor1_check" type="normal">
266
<position x="410" y="225"/>
267
<position x="556" y="196"/>
270
<arc id="Shared_in2_to_WorkflowNet2_treat" source="Shared_in2" target="WorkflowNet2_treat" type="normal"/>
271
<arc id="Shared_in2_to_WorkflowNet2_wait_for_tomorrow" source="Shared_in2" target="WorkflowNet2_wait_for_tomorrow" type="normal"/>
272
<arc id="Shared_Doctor1_to_WorkflowNet2_treat" source="Shared_Doctor1" target="WorkflowNet2_treat" type="normal"/>
273
<arc id="WorkflowNet2_Doctor1_working_to_WorkflowNet2_Doctor1_done" source="WorkflowNet2_Doctor1_working" target="WorkflowNet2_Doctor1_done" type="normal"/>
274
<arc id="Shared_Doctor2_to_WorkflowNet2_Doctor1_done" source="Shared_Doctor2" target="WorkflowNet2_Doctor1_done" type="normal"/>
275
<arc id="WorkflowNet2_Doctor2_working_to_WorkflowNet2_Doctor2_done_Doctor1_check" source="WorkflowNet2_Doctor2_working" target="WorkflowNet2_Doctor2_done_Doctor1_check" type="normal"/>
276
<arc id="Shared_Doctor1_to_WorkflowNet2_Doctor2_done_Doctor1_check" source="Shared_Doctor1" target="WorkflowNet2_Doctor2_done_Doctor1_check" type="normal">
278
<position x="1070" y="225"/>
279
<position x="1216" y="196"/>
282
<arc id="SynchronousStart_start_to_SynchronousStart_SynchStart" source="SynchronousStart_start" target="SynchronousStart_SynchStart" type="normal"/>
283
<arc id="WorkflowNet1_treat_to_WorkflowNet1_Doctor1_working" source="WorkflowNet1_treat" target="WorkflowNet1_Doctor1_working" type="normal"/>
284
<arc id="WorkflowNet1_wait_for_tomorrow_to_WorkflowNet1_out" source="WorkflowNet1_wait_for_tomorrow" target="WorkflowNet1_out" type="normal">
286
<position x="586" y="331"/>
289
<arc id="WorkflowNet1_Doctor1_done_to_Shared_Doctor1" source="WorkflowNet1_Doctor1_done" target="Shared_Doctor1" type="normal"/>
290
<arc id="WorkflowNet1_Doctor1_done_to_WorkflowNet1_Doctor2_working" source="WorkflowNet1_Doctor1_done" target="WorkflowNet1_Doctor2_working" type="normal"/>
291
<arc id="WorkflowNet1_Doctor2_done_Doctor1_check_to_WorkflowNet1_out" source="WorkflowNet1_Doctor2_done_Doctor1_check" target="WorkflowNet1_out" type="normal"/>
292
<arc id="WorkflowNet1_Doctor2_done_Doctor1_check_to_Shared_Doctor2" source="WorkflowNet1_Doctor2_done_Doctor1_check" target="Shared_Doctor2" type="normal"/>
293
<arc id="WorkflowNet1_Doctor2_done_Doctor1_check_to_Shared_Doctor1" source="WorkflowNet1_Doctor2_done_Doctor1_check" target="Shared_Doctor1" type="normal">
295
<position x="541" y="256"/>
296
<position x="338" y="225"/>
299
<arc id="WorkflowNet2_treat_to_WorkflowNet2_Doctor1_working" source="WorkflowNet2_treat" target="WorkflowNet2_Doctor1_working" type="normal"/>
300
<arc id="WorkflowNet2_wait_for_tomorrow_to_WorkflowNet2_out" source="WorkflowNet2_wait_for_tomorrow" target="WorkflowNet2_out" type="normal">
302
<position x="1246" y="331"/>
305
<arc id="WorkflowNet2_Doctor1_done_to_Shared_Doctor1" source="WorkflowNet2_Doctor1_done" target="Shared_Doctor1" type="normal"/>
306
<arc id="WorkflowNet2_Doctor1_done_to_WorkflowNet2_Doctor2_working" source="WorkflowNet2_Doctor1_done" target="WorkflowNet2_Doctor2_working" type="normal"/>
307
<arc id="WorkflowNet2_Doctor2_done_Doctor1_check_to_WorkflowNet2_out" source="WorkflowNet2_Doctor2_done_Doctor1_check" target="WorkflowNet2_out" type="normal"/>
308
<arc id="WorkflowNet2_Doctor2_done_Doctor1_check_to_Shared_Doctor2" source="WorkflowNet2_Doctor2_done_Doctor1_check" target="Shared_Doctor2" type="normal"/>
309
<arc id="WorkflowNet2_Doctor2_done_Doctor1_check_to_Shared_Doctor1" source="WorkflowNet2_Doctor2_done_Doctor1_check" target="Shared_Doctor1" type="normal">
311
<position x="1201" y="256"/>
312
<position x="998" y="225"/>
315
<arc id="SynchronousStart_SynchStart_to_Shared_in1" source="SynchronousStart_SynchStart" target="Shared_in1" type="normal"/>
316
<arc id="SynchronousStart_SynchStart_to_Shared_in2" source="SynchronousStart_SynchStart" target="Shared_in2" type="normal"/>
319
<text>ComposedModel</text>