chan approach, leave, up, down;Trainclock x;At_crossingNearbyFarPassedBarrierclock y;OpenClosingClosedOpeningControllerclock z;
int trains = 0;close_barrieropen_barrierRestTrain1 = Train();
Train2 = Train();
system Train1, Train2, Barrier, Controller;