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">
7
<position x="180" y="240"/>
11
<offset x="-5" y="35"/>
21
<position x="405" y="240"/>
25
<offset x="-5" y="35"/>
35
<position x="690" y="240"/>
39
<offset x="-5" y="35"/>
49
<position x="690" y="660"/>
53
<offset x="-5" y="35"/>
63
<position x="825" y="540"/>
67
<offset x="-5" y="35"/>
77
<position x="180" y="390"/>
81
<offset x="-5" y="35"/>
91
<position x="540" y="390"/>
95
<offset x="-5" y="35"/>
105
<position x="225" y="120"/>
109
<offset x="-5" y="35"/>
119
<position x="75" y="120"/>
123
<offset x="-5" y="35"/>
131
<place id="NurseResting">
133
<position x="390" y="120"/>
137
<offset x="-5" y="35"/>
139
<text>NurseResting</text>
145
<place id="NurseWorking">
147
<position x="540" y="120"/>
151
<offset x="-5" y="35"/>
153
<text>NurseWorking</text>
159
<place id="DoctorWorking">
161
<position x="930" y="300"/>
165
<offset x="9" y="38"/>
167
<text>DoctorWorking</text>
173
<place id="DoctorResting">
175
<position x="1110" y="300"/>
179
<offset x="-5" y="35"/>
181
<text>DoctorResting</text>
187
<place id="SurgeonWorking">
189
<position x="945" y="480"/>
193
<offset x="3" y="50"/>
195
<text>SurgeonWorking</text>
201
<place id="SurgeonResting">
203
<position x="1125" y="480"/>
207
<offset x="-5" y="35"/>
209
<text>SurgeonResting</text>
217
<position x="825" y="390"/>
221
<offset x="-5" y="35"/>
229
<transition id="Check_in">
232
<offset x="-5" y="35"/>
234
<text>Check_in</text>
237
<position x="270" y="240"/>
240
<transition id="Nurse">
243
<offset x="-5" y="35"/>
248
<position x="585" y="240"/>
251
<transition id="DoctorOk">
254
<offset x="-5" y="35"/>
256
<text>DoctorOk</text>
259
<position x="630" y="345"/>
262
<transition id="Surgeon">
265
<offset x="-5" y="35"/>
270
<position x="825" y="480"/>
273
<transition id="Check_out">
276
<offset x="-5" y="35"/>
278
<text>Check_out</text>
281
<position x="435" y="390"/>
284
<transition id="Operating">
287
<offset x="-5" y="35"/>
289
<text>Operating</text>
292
<position x="825" y="600"/>
295
<transition id="In_Room">
298
<offset x="-5" y="35"/>
303
<position x="540" y="660"/>
309
<offset x="-5" y="35"/>
314
<position x="150" y="165"/>
320
<offset x="-5" y="35"/>
325
<position x="150" y="75"/>
328
<transition id="TNW">
331
<offset x="-5" y="35"/>
336
<position x="450" y="75"/>
339
<transition id="TNR">
342
<offset x="-5" y="35"/>
347
<position x="450" y="165"/>
350
<transition id="TDW">
353
<offset x="-5" y="35"/>
358
<position x="1020" y="240"/>
361
<transition id="TDR">
364
<offset x="-5" y="35"/>
369
<position x="1020" y="345"/>
372
<transition id="TSW">
375
<offset x="-5" y="35"/>
380
<position x="1035" y="420"/>
383
<transition id="TSR">
386
<offset x="-5" y="35"/>
391
<position x="1035" y="555"/>
394
<transition id="NurseOk">
397
<offset x="-5" y="35"/>
402
<position x="540" y="300"/>
405
<transition id="Doctor">
408
<offset x="-5" y="35"/>
413
<position x="825" y="240"/>
416
<transition id="DoctorRoom">
419
<offset x="-5" y="35"/>
421
<text>DoctorRoom</text>
424
<position x="690" y="405"/>
430
<offset x="-5" y="35"/>
435
<position x="195" y="300"/>
438
<arc id="WR_to_Check_in" source="WR" target="Check_in" type="normal"/>
439
<arc id="WN_to_Nurse" source="WN" target="Nurse" type="normal"/>
440
<arc id="WD_to_DoctorOk" source="WD" target="DoctorOk" type="normal"/>
441
<arc id="WO_to_Operating" source="WO" target="Operating" type="normal"/>
442
<arc id="CHO_to_Check_out" source="CHO" target="Check_out" type="normal"/>
443
<arc id="WRoom_to_In_Room" source="WRoom" target="In_Room" type="normal"/>
444
<arc id="Resting_to_TW" source="Resting" target="TW" type="normal">
446
<position x="92" y="92"/>
449
<arc id="NurseResting_to_TNW" source="NurseResting" target="TNW" type="normal">
451
<position x="407" y="92"/>
454
<arc id="DoctorResting_to_TDW" source="DoctorResting" target="TDW" type="normal">
456
<position x="1127" y="257"/>
459
<arc id="SurgeonResting_to_TSW" source="SurgeonResting" target="TSW" type="normal">
461
<position x="1142" y="437"/>
464
<arc id="WN_to_NurseOk" source="WN" target="NurseOk" type="normal"/>
465
<arc id="WS_to_Surgeon" source="WS" target="Surgeon" type="normal"/>
466
<arc id="WD_to_Doctor" source="WD" target="Doctor" type="normal"/>
467
<arc id="WD_to_DoctorRoom" source="WD" target="DoctorRoom" type="normal"/>
468
<arc id="WR_to_T0" source="WR" target="T0" type="normal">
470
<position x="178" y="298"/>
473
<arc id="Check_in_to_WN" source="Check_in" target="WN" type="normal"/>
474
<arc id="Surgeon_to_WO" source="Surgeon" target="WO" type="normal"/>
475
<arc id="Operating_to_WRoom" source="Operating" target="WRoom" type="normal">
477
<position x="842" y="677"/>
480
<arc id="Check_out_to_Out" source="Check_out" target="Out" type="normal"/>
481
<arc id="TW_to_Working" source="TW" target="Working" type="normal">
483
<position x="242" y="92"/>
486
<arc id="TNW_to_NurseWorking" source="TNW" target="NurseWorking" type="normal">
488
<position x="557" y="92"/>
491
<arc id="Nurse_to_WD" source="Nurse" target="WD" type="normal"/>
492
<arc id="TDW_to_DoctorWorking" source="TDW" target="DoctorWorking" type="normal">
494
<position x="947" y="257"/>
497
<arc id="TSW_to_SurgeonWorking" source="TSW" target="SurgeonWorking" type="normal">
499
<position x="962" y="437"/>
502
<arc id="DoctorOk_to_CHO" source="DoctorOk" target="CHO" type="normal"/>
503
<arc id="NurseOk_to_CHO" source="NurseOk" target="CHO" type="normal"/>
504
<arc id="Doctor_to_WS" source="Doctor" target="WS" type="normal"/>
505
<arc id="In_Room_to_CHO" source="In_Room" target="CHO" type="normal"/>
506
<arc id="DoctorRoom_to_WRoom" source="DoctorRoom" target="WRoom" type="normal"/>
507
<arc id="T0_to_WR" source="T0" target="WR" type="normal">
509
<position x="238" y="298"/>
512
<arc id="Working_to_TR" source="Working" target="TR" type="normal">
514
<position x="242" y="182"/>
517
<arc id="TR_to_Resting" source="TR" target="Resting" type="normal">
519
<position x="167" y="182"/>
520
<position x="92" y="182"/>
523
<arc id="Working_to_Check_in" source="Working" target="Check_in" type="normal">
525
<position x="287" y="137"/>
528
<arc id="Check_in_to_Working" source="Check_in" target="Working" type="normal"/>
529
<arc id="NurseWorking_to_TNR" source="NurseWorking" target="TNR" type="normal">
531
<position x="557" y="182"/>
534
<arc id="TNR_to_NurseResting" source="TNR" target="NurseResting" type="normal">
536
<position x="407" y="182"/>
539
<arc id="NurseWorking_to_Nurse" source="NurseWorking" target="Nurse" type="normal">
541
<position x="602" y="137"/>
544
<arc id="Nurse_to_NurseWorking" source="Nurse" target="NurseWorking" type="normal"/>
545
<arc id="DoctorWorking_to_TDR" source="DoctorWorking" target="TDR" type="normal">
547
<position x="947" y="362"/>
550
<arc id="TDR_to_DoctorResting" source="TDR" target="DoctorResting" type="normal">
552
<position x="1127" y="362"/>
555
<arc id="DoctorWorking_to_DoctorOk" source="DoctorWorking" target="DoctorOk" type="normal"/>
556
<arc id="DoctorOk_to_DoctorWorking" source="DoctorOk" target="DoctorWorking" type="normal"/>
557
<arc id="SurgeonWorking_to_TSR" source="SurgeonWorking" target="TSR" type="normal">
559
<position x="962" y="572"/>
562
<arc id="TSR_to_SurgeonResting" source="TSR" target="SurgeonResting" type="normal">
564
<position x="1142" y="572"/>
567
<arc id="SurgeonWorking_to_Surgeon" source="SurgeonWorking" target="Surgeon" type="normal"/>
568
<arc id="Surgeon_to_SurgeonWorking" source="Surgeon" target="SurgeonWorking" type="normal"/>
569
<arc id="NurseWorking_to_Operating" source="NurseWorking" target="Operating" type="normal">
571
<position x="662" y="77"/>
572
<position x="1172" y="77"/>
573
<position x="1172" y="617"/>
576
<arc id="Operating_to_NurseWorking" source="Operating" target="NurseWorking" type="normal">
578
<position x="1172" y="617"/>
579
<position x="1177" y="80"/>
580
<position x="669" y="80"/>
583
<arc id="SurgeonWorking_to_Operating" source="SurgeonWorking" target="Operating" type="normal"/>
584
<arc id="Operating_to_SurgeonWorking" source="Operating" target="SurgeonWorking" type="normal"/>
585
<arc id="DoctorWorking_to_Doctor" source="DoctorWorking" target="Doctor" type="normal"/>
586
<arc id="Doctor_to_DoctorWorking" source="Doctor" target="DoctorWorking" type="normal">
588
<position x="886" y="286"/>
591
<arc id="DoctorWorking_to_DoctorRoom" source="DoctorWorking" target="DoctorRoom" type="normal"/>
592
<arc id="DoctorRoom_to_DoctorWorking" source="DoctorRoom" target="DoctorWorking" type="normal"/>
593
<arc id="Working_to_T0" source="Working" target="T0" type="inhibitor"/>
596
<text>ComposedModel</text>