
%This function processes the outgoing transitions from state s6 

function [return_s8_exe6, return_s9_exe6 ] = exe_State6(k,state_8,state_9)

state = exe_State(k);

if(state == 1)
    return_s8_exe6 = state_8 + 1; return_s9_exe6 = state_9; 
    p = 'Http Response';
    disp(p); 
else
    return_s9_exe6 = state_9 + 1; return_s8_exe6 = state_8; 
     p = 'Error: too many connection';
    disp(p); 
end

