csma128.cta

很好的一本书

    end103          : SYNC;
    end104          : SYNC;
    end105          : SYNC;
    end106          : SYNC;
    end107          : SYNC;
    end108          : SYNC;
    end109          : SYNC;
    end110          : SYNC;
    end111          : SYNC;
    end112          : SYNC;
    end113          : SYNC;
    end114          : SYNC;
    end115          : SYNC;
    end116          : SYNC;
    end117          : SYNC;
    end118          : SYNC;
    end119          : SYNC;
    end120          : SYNC;
    end121          : SYNC;
    end122          : SYNC;
    end123          : SYNC;
    end124          : SYNC;
    end125          : SYNC;
    end126          : SYNC;
    end127          : SYNC;
    end128          : SYNC;

    // Busy signals for every Sender.
    busy1         : SYNC;
    busy2         : SYNC;
    busy3         : SYNC;
    busy4         : SYNC;
    busy5         : SYNC;
    busy6         : SYNC;
    busy7         : SYNC;
    busy8         : SYNC;
    busy9         : SYNC;
    busy10         : SYNC;
    busy11         : SYNC;
    busy12         : SYNC;
    busy13         : SYNC;
    busy14         : SYNC;
    busy15         : SYNC;
    busy16         : SYNC;
    busy17         : SYNC;
    busy18         : SYNC;
    busy19         : SYNC;
    busy20         : SYNC;
    busy21         : SYNC;
    busy22         : SYNC;
    busy23         : SYNC;
    busy24         : SYNC;
    busy25         : SYNC;
    busy26         : SYNC;
    busy27         : SYNC;
    busy28         : SYNC;
    busy29         : SYNC;
    busy30         : SYNC;
    busy31         : SYNC;
    busy32         : SYNC;
    busy33         : SYNC;
    busy34         : SYNC;
    busy35         : SYNC;
    busy36         : SYNC;
    busy37         : SYNC;
    busy38         : SYNC;
    busy39         : SYNC;
    busy40         : SYNC;
    busy41         : SYNC;
    busy42         : SYNC;
    busy43         : SYNC;
    busy44         : SYNC;
    busy45         : SYNC;
    busy46         : SYNC;
    busy47         : SYNC;
    busy48         : SYNC;
    busy49         : SYNC;
    busy50         : SYNC;
    busy51         : SYNC;
    busy52         : SYNC;
    busy53         : SYNC;
    busy54         : SYNC;
    busy55         : SYNC;
    busy56         : SYNC;
    busy57         : SYNC;
    busy58         : SYNC;
    busy59         : SYNC;
    busy60         : SYNC;
    busy61         : SYNC;
    busy62         : SYNC;
    busy63         : SYNC;
    busy64         : SYNC;
    busy65         : SYNC;
    busy66         : SYNC;
    busy67         : SYNC;
    busy68         : SYNC;
    busy69         : SYNC;
    busy70         : SYNC;
    busy71         : SYNC;
    busy72         : SYNC;
    busy73         : SYNC;
    busy74         : SYNC;
    busy75         : SYNC;
    busy76         : SYNC;
    busy77         : SYNC;
    busy78         : SYNC;
    busy79         : SYNC;
    busy80         : SYNC;
    busy81         : SYNC;
    busy82         : SYNC;
    busy83         : SYNC;
    busy84         : SYNC;
    busy85         : SYNC;
    busy86         : SYNC;
    busy87         : SYNC;
    busy88         : SYNC;
    busy89         : SYNC;
    busy90         : SYNC;
    busy91         : SYNC;
    busy92         : SYNC;
    busy93         : SYNC;
    busy94         : SYNC;
    busy95         : SYNC;
    busy96         : SYNC;
    busy97         : SYNC;
    busy98         : SYNC;
    busy99         : SYNC;
    busy100         : SYNC;
    busy101         : SYNC;
    busy102         : SYNC;
    busy103         : SYNC;
    busy104         : SYNC;
    busy105         : SYNC;
    busy106         : SYNC;
    busy107         : SYNC;
    busy108         : SYNC;
    busy109         : SYNC;
    busy110         : SYNC;
    busy111         : SYNC;
    busy112         : SYNC;
    busy113         : SYNC;
    busy114         : SYNC;
    busy115         : SYNC;
    busy116         : SYNC;
    busy117         : SYNC;
    busy118         : SYNC;
    busy119         : SYNC;
    busy120         : SYNC;
    busy121         : SYNC;
    busy122         : SYNC;
    busy123         : SYNC;
    busy124         : SYNC;
    busy125         : SYNC;
    busy126         : SYNC;
    busy127         : SYNC;
    busy128         : 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;
                               }