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 colset TIME = time; REAL colset REAL = real; STRING qKiosk UNIT kioskFree UNIT 1`() kioskBusy UNIT qService UNIT servFree UNIT 3`() servBusy UNIT served UNIT left UNIT arrival startKioskSel finishKioskSel startService finishService leave 1`() 1`() 1`() 1`() 1`() 1`() 1`() 1`() 1`() 1`() 1`() 1`() 1`() 1`() 1`() false false false <same as model> true true true true true true true false false false true true false false true false false true false true false false true true false false false false false false false false true false true false false true true false false false true false