chan bye, hello;
chan priority hello < bye;
Station1clock t;Pathclock c;
const int times[6][6] = {
{0,5,10,20,30,25},
{5,0,5,15,32,27},
{10,5,0,20,30,25},
{20,15,20,0,15,20},
{30,32,30,15,5,5},
{25,27,25,20,5,0}
};
const int t_margin = 3;doneStation2clock t;p1 = Path();
p2 = Path();
system Station1 < Station2 < p1 < p2;