of DLC number 0 initiated by B: */ I_releasereq(0) v76frame( disc : (.0.) ) v76frame( disc (.0.) ) v76frame( ua (.0.) v76frame( ua (.0.) _releaseind(0 I_releaseind( 0) ) Figure 4.43 The black box MSC generated by the Simulator C. Execute the transition: trans dlca!dispatch : from_ready_input_l_estabreq with l_estabreq(0) from env_dlcasu You are in the situation shown in Figure 4.3936. D. In the Simulator command line, type as in Figure 4.44: print n320cnt If you do not see the processes in the generated MSC, type msc for all in the Simulator command line and press the init and Redo: All Simulator buttons. Interactive Simulation 81 Now: 0 print n320cnt Figure 4.44 The Simulator command line The Simulator displays the value of the retransmission counter N320cnt of the instance number 1 of process DLC in block DLCa: process dlcb!dlc not created or stopped dlca!dlc (1) ! n320cnt = 0 E. To display the value of N320cnt at every step, type in the Simulator command line: trace dlca!dlc (1) ! n320cnt the Simulator will display the value of the retransmission counter N320cnt in the generated MSC, when its value changes. F. In the Simulator, double-click the following transitions: trans dlca!dlo (1) : start trans atob (1) : from_ready_input_v76frame trans atob (1) : decision_lose_the_frame ('Yes') G. As we have not transmitted the signal V76frame, the Simulator proposes to make the time progress until the time-out of timer T320; double-click the transition: trans time (12.0) H. The current SDL time, Now, displayed in the Simulator, has progressed from 0 to 12: the Simulator proposes to time-out timer T320; double-click the transition: trans dlca!dlc (1) : timeout_t320 I. The Simulator proposes to input the timer T320; double-click the transition: trans dlca!dlc (1) : from_waitua_input_t320 As the decision N320cnt < N320 has returned True, N320cnt has been incremented and the execution has jumped to the label retry, where the SABME has been retransmitted and T320 has been set. J. Execute the sequence of transitions given bel