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="AsynchronousStart_init1">
147
<position x="75" y="615"/>
151
<offset x="-5" y="35"/>
153
<text>AsynchronousStart_init1</text>
159
<place id="AsynchronousStart_init2">
161
<position x="75" y="405"/>
165
<offset x="-5" y="35"/>
167
<text>AsynchronousStart_init2</text>
173
<transition id="WorkflowNet1_treat">
176
<offset x="-9" y="10"/>
178
<text>WorkflowNet1_treat</text>
181
<position x="240" y="45"/>
184
<transition id="WorkflowNet1_wait_for_tomorrow">
187
<offset x="-5" y="35"/>
189
<text>WorkflowNet1_wait_for_tomorrow</text>
192
<position x="240" y="315"/>
195
<transition id="WorkflowNet1_Doctor1_done">
198
<offset x="44" y="-17"/>
200
<text>WorkflowNet1_Doctor1_done</text>
203
<position x="435" y="45"/>
206
<transition id="WorkflowNet1_Doctor2_done_Doctor1_check">
209
<offset x="189" y="17"/>
211
<text>WorkflowNet1_Doctor2_done_Doctor1_check</text>
214
<position x="585" y="120"/>
217
<transition id="WorkflowNet2_treat">
220
<offset x="-9" y="10"/>
222
<text>WorkflowNet2_treat</text>
225
<position x="900" y="45"/>
228
<transition id="WorkflowNet2_wait_for_tomorrow">
231
<offset x="-5" y="35"/>
233
<text>WorkflowNet2_wait_for_tomorrow</text>
236
<position x="900" y="315"/>
239
<transition id="WorkflowNet2_Doctor1_done">
242
<offset x="44" y="-17"/>
244
<text>WorkflowNet2_Doctor1_done</text>
247
<position x="1095" y="45"/>
250
<transition id="WorkflowNet2_Doctor2_done_Doctor1_check">
253
<offset x="189" y="17"/>
255
<text>WorkflowNet2_Doctor2_done_Doctor1_check</text>
258
<position x="1245" y="120"/>
261
<transition id="AsynchronousStart_Start1">
264
<offset x="-5" y="-2"/>
266
<text>AsynchronousStart_Start1</text>
269
<position x="180" y="405"/>
272
<transition id="AsynchronousStart_Start2">
275
<offset x="-5" y="55"/>
277
<text>AsynchronousStart_Start2</text>
280
<position x="180" y="615"/>
283
<arc id="Shared_in1_to_WorkflowNet1_treat" source="Shared_in1" target="WorkflowNet1_treat" type="normal"/>
284
<arc id="Shared_in1_to_WorkflowNet1_wait_for_tomorrow" source="Shared_in1" target="WorkflowNet1_wait_for_tomorrow" type="normal"/>
285
<arc id="Shared_Doctor1_to_WorkflowNet1_treat" source="Shared_Doctor1" target="WorkflowNet1_treat" type="normal"/>
286
<arc id="WorkflowNet1_Doctor1_working_to_WorkflowNet1_Doctor1_done" source="WorkflowNet1_Doctor1_working" target="WorkflowNet1_Doctor1_done" type="normal"/>
287
<arc id="Shared_Doctor2_to_WorkflowNet1_Doctor1_done" source="Shared_Doctor2" target="WorkflowNet1_Doctor1_done" type="normal"/>
288
<arc id="WorkflowNet1_Doctor2_working_to_WorkflowNet1_Doctor2_done_Doctor1_check" source="WorkflowNet1_Doctor2_working" target="WorkflowNet1_Doctor2_done_Doctor1_check" type="normal"/>
289
<arc id="Shared_Doctor1_to_WorkflowNet1_Doctor2_done_Doctor1_check" source="Shared_Doctor1" target="WorkflowNet1_Doctor2_done_Doctor1_check" type="normal">
291
<position x="410" y="225"/>
292
<position x="556" y="196"/>
295
<arc id="Shared_in2_to_WorkflowNet2_treat" source="Shared_in2" target="WorkflowNet2_treat" type="normal"/>
296
<arc id="Shared_in2_to_WorkflowNet2_wait_for_tomorrow" source="Shared_in2" target="WorkflowNet2_wait_for_tomorrow" type="normal"/>
297
<arc id="Shared_Doctor1_to_WorkflowNet2_treat" source="Shared_Doctor1" target="WorkflowNet2_treat" type="normal"/>
298
<arc id="WorkflowNet2_Doctor1_working_to_WorkflowNet2_Doctor1_done" source="WorkflowNet2_Doctor1_working" target="WorkflowNet2_Doctor1_done" type="normal"/>
299
<arc id="Shared_Doctor2_to_WorkflowNet2_Doctor1_done" source="Shared_Doctor2" target="WorkflowNet2_Doctor1_done" type="normal"/>
300
<arc id="WorkflowNet2_Doctor2_working_to_WorkflowNet2_Doctor2_done_Doctor1_check" source="WorkflowNet2_Doctor2_working" target="WorkflowNet2_Doctor2_done_Doctor1_check" type="normal"/>
301
<arc id="Shared_Doctor1_to_WorkflowNet2_Doctor2_done_Doctor1_check" source="Shared_Doctor1" target="WorkflowNet2_Doctor2_done_Doctor1_check" type="normal">
303
<position x="1070" y="225"/>
304
<position x="1216" y="196"/>
307
<arc id="AsynchronousStart_init1_to_AsynchronousStart_Start2" source="AsynchronousStart_init1" target="AsynchronousStart_Start2" type="normal"/>
308
<arc id="AsynchronousStart_init2_to_AsynchronousStart_Start1" source="AsynchronousStart_init2" target="AsynchronousStart_Start1" type="normal"/>
309
<arc id="WorkflowNet1_treat_to_WorkflowNet1_Doctor1_working" source="WorkflowNet1_treat" target="WorkflowNet1_Doctor1_working" type="normal"/>
310
<arc id="WorkflowNet1_wait_for_tomorrow_to_WorkflowNet1_out" source="WorkflowNet1_wait_for_tomorrow" target="WorkflowNet1_out" type="normal">
312
<position x="586" y="331"/>
315
<arc id="WorkflowNet1_Doctor1_done_to_Shared_Doctor1" source="WorkflowNet1_Doctor1_done" target="Shared_Doctor1" type="normal"/>
316
<arc id="WorkflowNet1_Doctor1_done_to_WorkflowNet1_Doctor2_working" source="WorkflowNet1_Doctor1_done" target="WorkflowNet1_Doctor2_working" type="normal"/>
317
<arc id="WorkflowNet1_Doctor2_done_Doctor1_check_to_WorkflowNet1_out" source="WorkflowNet1_Doctor2_done_Doctor1_check" target="WorkflowNet1_out" type="normal"/>
318
<arc id="WorkflowNet1_Doctor2_done_Doctor1_check_to_Shared_Doctor2" source="WorkflowNet1_Doctor2_done_Doctor1_check" target="Shared_Doctor2" type="normal"/>
319
<arc id="WorkflowNet1_Doctor2_done_Doctor1_check_to_Shared_Doctor1" source="WorkflowNet1_Doctor2_done_Doctor1_check" target="Shared_Doctor1" type="normal">
321
<position x="541" y="256"/>
322
<position x="338" y="225"/>
325
<arc id="WorkflowNet2_treat_to_WorkflowNet2_Doctor1_working" source="WorkflowNet2_treat" target="WorkflowNet2_Doctor1_working" type="normal"/>
326
<arc id="WorkflowNet2_wait_for_tomorrow_to_WorkflowNet2_out" source="WorkflowNet2_wait_for_tomorrow" target="WorkflowNet2_out" type="normal">
328
<position x="1246" y="331"/>
331
<arc id="WorkflowNet2_Doctor1_done_to_Shared_Doctor1" source="WorkflowNet2_Doctor1_done" target="Shared_Doctor1" type="normal"/>
332
<arc id="WorkflowNet2_Doctor1_done_to_WorkflowNet2_Doctor2_working" source="WorkflowNet2_Doctor1_done" target="WorkflowNet2_Doctor2_working" type="normal"/>
333
<arc id="WorkflowNet2_Doctor2_done_Doctor1_check_to_WorkflowNet2_out" source="WorkflowNet2_Doctor2_done_Doctor1_check" target="WorkflowNet2_out" type="normal"/>
334
<arc id="WorkflowNet2_Doctor2_done_Doctor1_check_to_Shared_Doctor2" source="WorkflowNet2_Doctor2_done_Doctor1_check" target="Shared_Doctor2" type="normal"/>
335
<arc id="WorkflowNet2_Doctor2_done_Doctor1_check_to_Shared_Doctor1" source="WorkflowNet2_Doctor2_done_Doctor1_check" target="Shared_Doctor1" type="normal">
337
<position x="1201" y="256"/>
338
<position x="998" y="225"/>
341
<arc id="AsynchronousStart_Start1_to_Shared_in1" source="AsynchronousStart_Start1" target="Shared_in1" type="normal"/>
342
<arc id="AsynchronousStart_Start2_to_Shared_in2" source="AsynchronousStart_Start2" target="Shared_in2" type="normal"/>
345
<text>ComposedModel</text>