%lambda=0.01;
 %mu=0.1;
 %omega=1.0;

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

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

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

 #PC40 = (arrive,lambda).PC41 + (walkon5,omega).PC40;
 #PC41 = (serve4,mu).PC40;

 #PC50 = (arrive,lambda).PC51 + (walkon6,omega).PC50;
 #PC51 = (serve5,mu).PC50;

 #PC60 = (arrive,lambda).PC61 + (walkon1,omega).PC60;
 #PC61 = (serve6,mu).PC60;

 #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 = (walkon5,omega).S5 + (serve4,mu).(walk5,omega).S5;
 #S5 = (walkon6,omega).S6 + (serve5,mu).(walk6,omega).S6;
 #S6 = (walkon1,omega).S1 + (serve6,mu).(walk1,omega).S1;

 (PC10 <> PC20 <> PC30 <> PC40 <> PC50 <> PC60) 
         <walkon1,walkon2,walkon3,walkon4,walkon5,walkon6,
                  serve1,serve2,serve3,serve4,serve5,serve6> S1