Standard priorities val P_HIGH = 100; val P_HIGH = 100; val P_NORMAL = 1000; val P_NORMAL = 1000; val P_LOW = 10000; val P_LOW = 10000; Standard declarations UNIT colset UNIT = unit; BOOL INT INTINF colset INTINF = intinf; TIME REAL colset REAL = real; STRING val TOL_Q_LN = 20; val TOL_Q_LN = 20; INT_TM INT colset INT_TM = INT timed; CUST id INT serviceType INT colset CUST = record id:INT * serviceType:INT; CUST_TM CUST colset CUST_TM = CUST timed; CUSTlist CUST colset CUSTlist = list CUST; CUST c var c:CUST; INT nId var nId:INT; CUSTlist q var q:CUSTlist; fun newCust(id:INT):CUST = {id=id, serviceType=0} fun newCust(id:INT):CUST = {id=id, serviceType=0} fun selectServType() = let val ranVal = uniform(0.0, 100.0) in if(ranVal < 60.0) then 1 else 2 end fun selectServType() = let val ranVal = uniform(0.0, 100.0) in if(ranVal < 60.0) then 1 else 2 end fun setServType(c:CUST):CUST = {id=(#id c), serviceType=selectServType()} fun setServType(c:CUST):CUST = {id=(#id c), serviceType=selectServType()} fun expTime(mean)= round(exponential(1.0/mean)) fun expTime(mean)= round(exponential(1.0/mean)) fun normTime(mean,variance)= round(normal(mean,variance)) fun normTime(mean,variance)= round(normal(mean,variance)) fun weibullTime(scale, shape)= round(weibull(scale, shape)) fun weibullTime(scale, shape)= round(weibull(scale, shape)) fun logNormTime(meanLog,sdLog)= round(Math.exp(normal(meanLog,sdLog*sdLog))) fun logNormTime(meanLog,sdLog)= round(Math.exp(normal(meanLog,sdLog*sdLog))) qKiosk CUSTlist [] qService CUSTlist [] servFree UNIT 2`() custServed CUST_TM served CUST_TM left CUST_TM nextId INT_TM 1 custAtKiosk CUST_TM kioskFree UNIT 1`() afterKiosk CUST_TM arrival startService finishService leave [length q>TOL_Q_LN] startWait4Serv startKioskSel finishKioskSel q^^[newCust(nId)] c::q 1`() c@+(if(#serviceType c)=1 then weibullTime(161.5912,36.4764) else logNormTime(5.5395,0.01623)) c 1`() c c nId nId+1@+expTime(47.62) q q q q q^^[c] c::q q 1`() setServType(c)@+discrete(23,153) c 1`() c c c