package Communication.FDDI.Binary;

module ring(event ?RT1, ?RT2, bool !TT1, !TT2)
{
   loop {
      next(TT1) = true;
      next(TT2) = false;
      wait1: await(RT1);
      next(TT1) = false;
      next(TT2) = true;
      wait2: await(RT2);
   }
}