: 0 Verily. Figure 4.57 The transition to fire I. In the same way, execute the following transitions: dlca!dlo (2) : start atob (1) : from_ready_input_v76frame atob (1) : decision_lose_the_frame ('No') dlcb!dispatch : from_ready_input_v76frame dlcb!dispatch : from_waitestabresp_input_l_estabresp with l_estabresp from env_dlcbsu dlcb!dlc (2) : start Interactive Simulation 91 btoa (1) : from_ready_input_v76frame btoa (1) : ecision_lose_the_frame ('No') dlca!dispatch : from_waitua_input_v76frame dlca!dlo (2) : from_waitua_input_v76frame The new connection has been established between sides A and B. J. To check that all four instances of process DLC exist and are in state connected, enter in the Simulator: print dlc!state The Simulator displays: dlcb!dlc (1) ! state = connected dlcb!dlc (2) ! state = connected dlca!dlc (1) ! state = connected dlca!dlo (2) ! state = connected K. To test that the new connection4 works, let's transfer data through it; execute the following transitions: dlca!dispatch : from_ready_input_l_datareq with 1_datareq(1, 39) from env_dlcasu dlca!dlc (2) : from_connected_input_l_datareq atob (1) : from_ready_input_v76frame atob (1) : decision_lose_the_frame( ('No') dlcb!dispatch : from_ready_input_v76frame dlcb!dlc (2) : from_connected_input_v76frame The generated MSC, represented at blocks level in Figure 4.58, shows that block DLCb transmitted signal L_DataInd(1,3 39) to the environment (representing Service User B): the data 39 has been successfully transferred from A to B through DLC 1. L. Save the Simulator scenario: in the Simulator, select File > Scenario > Save As, enter cnx2 and press save. M. To save the current MSC into the file cnx2.msc, enter the following command into the Sim- ulator: msc cnx2 4.3.5.2 Simulate an attempt to create too many connections You will simulate to see what happens if you try to create more connections than allowed. The maximum number of parallel connections in our model is maxDLC + 1 = 2. Figure 3.12 shows that this number corresponds to the maximum number o