csma64.cta

很好的一本书

                         TRANS { SYNC #begin10;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin11;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin12;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin13;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin14;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin15;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin16;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin17;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin18;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin19;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin20;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin21;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin22;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin23;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin24;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin25;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin26;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin27;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin28;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin29;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin30;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin31;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin32;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin33;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin34;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin35;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin36;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin37;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin38;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin39;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin40;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin41;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin42;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin43;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin44;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin45;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin46;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin47;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin48;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin49;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin50;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin51;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin52;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin53;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin54;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin55;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin56;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin57;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin58;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin59;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin60;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin61;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin62;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin63;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin64;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                       }

    STATE transmit     {
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy1;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy2;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy3;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy4;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy5;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy6;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy7;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy8;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy9;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy10;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy11;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy12;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy13;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy14;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy15;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy16;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy17;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy18;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy19;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy20;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy21;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy22;
                                 DO x' = propTime + 1;
                                 GOTO transmit;