-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathPatient_B_X.pepa
35 lines (27 loc) · 873 Bytes
/
Patient_B_X.pepa
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
/* Rate declarations */
r_arrive_b = 400.0;
r_arrive_x = 400.0;
r_register = 2000.0;
r_wait = 2000.0;
r_blood = 120.0;
r_xray = 80.0;
/* Definition of a Patient blood-only */
PatientB = (arriveB, r_arrive_b).PatientB1;
PatientB1 = (register, r_register).PatientB2;
PatientB2 = (blood, r_blood).PatientB3;
PatientB3 = (wait, r_wait).PatientB;
/* Definition of a Patient xray-only */
PatientX = (arriveX, r_arrive_x).PatientX1;
PatientX1 = (register, r_register).PatientX2;
PatientX2 = (xray, r_xray).PatientX3;
PatientX3 = (wait, r_wait).PatientX;
/* Definitions of Departments Models */
Blood = (blood, r_blood).Blood;
Xray = (xray, r_xray).Xray;
Reception = (register, r_register).Reception;
/* Definition of Wait */
Wait = (wait, r_wait).Wait;
/* System equation */
(PatientB[4] || PatientX[4])
<register, blood, xray, wait>
(Blood || Xray || Reception || Wait)