csma256.cta

很好的一本书

    busy119         : SYNC;
    busy120         : SYNC;
    busy121         : SYNC;
    busy122         : SYNC;
    busy123         : SYNC;
    busy124         : SYNC;
    busy125         : SYNC;
    busy126         : SYNC;
    busy127         : SYNC;
    busy128         : SYNC;
    busy129         : SYNC;
    busy130         : SYNC;
    busy131         : SYNC;
    busy132         : SYNC;
    busy133         : SYNC;
    busy134         : SYNC;
    busy135         : SYNC;
    busy136         : SYNC;
    busy137         : SYNC;
    busy138         : SYNC;
    busy139         : SYNC;
    busy140         : SYNC;
    busy141         : SYNC;
    busy142         : SYNC;
    busy143         : SYNC;
    busy144         : SYNC;
    busy145         : SYNC;
    busy146         : SYNC;
    busy147         : SYNC;
    busy148         : SYNC;
    busy149         : SYNC;
    busy150         : SYNC;
    busy151         : SYNC;
    busy152         : SYNC;
    busy153         : SYNC;
    busy154         : SYNC;
    busy155         : SYNC;
    busy156         : SYNC;
    busy157         : SYNC;
    busy158         : SYNC;
    busy159         : SYNC;
    busy160         : SYNC;
    busy161         : SYNC;
    busy162         : SYNC;
    busy163         : SYNC;
    busy164         : SYNC;
    busy165         : SYNC;
    busy166         : SYNC;
    busy167         : SYNC;
    busy168         : SYNC;
    busy169         : SYNC;
    busy170         : SYNC;
    busy171         : SYNC;
    busy172         : SYNC;
    busy173         : SYNC;
    busy174         : SYNC;
    busy175         : SYNC;
    busy176         : SYNC;
    busy177         : SYNC;
    busy178         : SYNC;
    busy179         : SYNC;
    busy180         : SYNC;
    busy181         : SYNC;
    busy182         : SYNC;
    busy183         : SYNC;
    busy184         : SYNC;
    busy185         : SYNC;
    busy186         : SYNC;
    busy187         : SYNC;
    busy188         : SYNC;
    busy189         : SYNC;
    busy190         : SYNC;
    busy191         : SYNC;
    busy192         : SYNC;
    busy193         : SYNC;
    busy194         : SYNC;
    busy195         : SYNC;
    busy196         : SYNC;
    busy197         : SYNC;
    busy198         : SYNC;
    busy199         : SYNC;
    busy200         : SYNC;
    busy201         : SYNC;
    busy202         : SYNC;
    busy203         : SYNC;
    busy204         : SYNC;
    busy205         : SYNC;
    busy206         : SYNC;
    busy207         : SYNC;
    busy208         : SYNC;
    busy209         : SYNC;
    busy210         : SYNC;
    busy211         : SYNC;
    busy212         : SYNC;
    busy213         : SYNC;
    busy214         : SYNC;
    busy215         : SYNC;
    busy216         : SYNC;
    busy217         : SYNC;
    busy218         : SYNC;
    busy219         : SYNC;
    busy220         : SYNC;
    busy221         : SYNC;
    busy222         : SYNC;
    busy223         : SYNC;
    busy224         : SYNC;
    busy225         : SYNC;
    busy226         : SYNC;
    busy227         : SYNC;
    busy228         : SYNC;
    busy229         : SYNC;
    busy230         : SYNC;
    busy231         : SYNC;
    busy232         : SYNC;
    busy233         : SYNC;
    busy234         : SYNC;
    busy235         : SYNC;
    busy236         : SYNC;
    busy237         : SYNC;
    busy238         : SYNC;
    busy239         : SYNC;
    busy240         : SYNC;
    busy241         : SYNC;
    busy242         : SYNC;
    busy243         : SYNC;
    busy244         : SYNC;
    busy245         : SYNC;
    busy246         : SYNC;
    busy247         : SYNC;
    busy248         : SYNC;
    busy249         : SYNC;
    busy250         : SYNC;
    busy251         : SYNC;
    busy252         : SYNC;
    busy253         : SYNC;
    busy254         : SYNC;
    busy255         : SYNC;
    busy256         : SYNC;

  INITIAL STATE(Medium)= init AND x = propTime + 1;

  AUTOMATON Medium
  {
    STATE init         { INV FALSE;
                         TRANS { SYNC #begin1;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin2;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin3;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin4;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin5;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin6;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin7;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin8;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         TRANS { SYNC #begin9;
                                 DO x' = 0;
                                 GOTO transmit;
                               }
                         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;
                               }