// 971204, Arne, Fredrik, Kim & Paul.
// Fairmont Hotel, San Francisco.
// Test Data from Feb. 18, 2003 by Aglais Co. http://aglaia.cc/profile.html
const LEAKY_NUM 108, WORK1_ACC_NUM 60, WORK2_ACC_NUM 84, WORK3_ACC_NUM 65, STATIC_ACC_NUM 64;
int[0,150] accNo1, accNo2, accNo3, detected, detectedNo, stressG;
urgent chan check;
UserAcc
int[0,150] accNo, detected, detectedNo, stressG; const workAccNum; urgent chan check
idle
Logon
AccessDetectionMngReviewStopWorkLeakFinishWorkComplaint
StaticPolicy1 int[0,150] detectedNoidleUser1 := UserAcc(accNo1, detected, detectedNo, stressG, WORK1_ACC_NUM, check);
User2 := UserAcc(accNo2, detected, detectedNo, stressG, WORK2_ACC_NUM, check);
User3 := UserAcc(accNo3, detected, detectedNo, stressG, WORK3_ACC_NUM, check);
StaticPolicy1 := StaticPolicy1(detectedNo);
system User1, User2, User3, StaticPolicy1;