csma128.cta

很好的一本书

                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin124;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin125;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin126;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin127;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin128;
                                 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;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy23;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy24;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy25;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy26;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy27;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy28;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy29;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy30;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy31;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy32;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy33;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy34;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy35;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy36;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy37;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy38;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy39;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy40;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy41;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy42;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy43;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy44;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy45;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy46;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy47;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy48;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy49;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy50;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy51;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy52;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy53;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy54;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy55;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy56;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy57;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy58;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy59;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;
                                 SYNC #busy60;
                                 DO x' = propTime + 1;
                                 GOTO transmit;
                               }
                         TRANS { GUARD x >= propTime;