// PC-LAN4 example from the Performance Modelling course
// Author: Jane Hillston, University of Edinburgh
 
lambda = 0.01;
mu = 0.1;
omega = 1.0;

PC10 = (arrive,lambda).(serve1,mu).PC10 + (walkon2,omega).PC10;

PC20 = (arrive,lambda).(serve2,mu).PC20 + (walkon3,omega).PC20;

PC30 = (arrive,lambda).(serve3,mu).PC30 + (walkon4,omega).PC30;

PC40 = (arrive,lambda).(serve4,mu).PC40 + (walkon1,omega).PC40;

S1 = (walkon2,omega).S2 + (serve1,mu).(walk2,omega).S2;
S2 = (walkon3,omega).S3 + (serve2,mu).(walk3,omega).S3;
S3 = (walkon4,omega).S4 + (serve3,mu).(walk4,omega).S4;
S4 = (walkon1,omega).S1 + (serve4,mu).(walk1,omega).S1;

(PC10 <> PC20 <> PC30 <> PC40) <walkon1,walkon2,walkon3,walkon4,
                  serve1,serve2,serve3,serve4> S1