
%This function processes the outgoing transitions from state s5 

function [return_s6_exe5, return_s8_exe5, return_s9_exe5] = exe_State5(z,k,state_6,state_8,state_9)

state = exe_State(z);
if(state == 1)
    return_s6_exe5 = state_6 + 1; 
    
    [return_s8_exe6, return_s9_exe6 ] = exe_State6(k,state_8,state_9); 
    return_s8_exe5 = return_s8_exe6; return_s9_exe5 = return_s9_exe6; 
    
elseif(state == 2)
    
    return_s9_exe5 = state_9 + 1; return_s6_exe5 = state_6; return_s8_exe5 = state_8; 
     p = 'Error: too many connection';
    disp(p); 
    
else
    return_s8_exe5 = state_8 + 1; return_s6_exe5 = state_6; return_s9_exe5 = state_9;  
    p = 'Http Response';
    disp(p); 
end

