pc-lan2.pepa

PEPA模型性能分析工具

// A PC LAN with 2 clients
// 16 States

%lambda = 2.0;
%omega = 2.0;
%mu = 2.0;

#PC10 = (arrive1,lambda).PC11 + (walkon2,infty).PC10;
#PC11 = (serve1,infty).PC10;

#PC20 = (arrive2,lambda).PC21 + (walkon1,infty).PC20;
#PC21 = (serve2,infty).PC20;

#S1 = (walkon2,omega).S2 + (serve1,mu).(walk2,omega).S2;
#S2 = (walkon1,omega).S1 + (serve2,mu).(walk1,omega).S1;

(PC10 <> PC20 ) <walkon1,walkon2, serve1,serve2> S1