package Communication.FDDI.Integer;

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