csma32.cta

很好的一本书

                                 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 { SYNC #end1;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end2;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end3;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end4;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end5;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end6;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end7;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end8;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end9;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end10;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end11;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end12;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end13;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end14;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end15;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end16;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end17;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end18;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end19;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end20;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end21;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end22;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end23;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end24;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end25;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end26;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end27;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end28;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end29;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end30;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end31;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }
                         TRANS { SYNC #end32;
                                 DO x' = propTime + 1;
                                 GOTO init;
                               }

                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin1;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin2;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin3;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin4;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin5;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin6;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin7;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin8;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin9;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin10;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin11;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin12;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin13;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin14;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin15;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin16;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin17;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin18;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin19;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin20;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin21;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin22;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin23;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin24;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin25;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin26;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin27;
                                 DO x' = 0;
                                 GOTO collDetected;
                               }
                         TRANS { GUARD x + 1 <= propTime;
                                 SYNC #begin28;