
%This function processes the outgoing transitions from state s1 

function [return_s1,return_s2,return_s5,return_s6,return_s8,return_s9] = exe_State1(ws,as,z,k,state_1,state_2,state_5,state_6,state_8,state_9)

state = exe_State(ws);
if(state == 1)
    return_s1 = state_1 + 1; return_s2 = state_2; return_s5 = state_5; return_s6 = state_6; return_s8 = state_8; return_s9 = state_9; 
    exe_State1(ws,as,z,k,state_1,state_2,state_5,state_6,state_8,state_9);
    
elseif(state == 2)
    return_s2 = state_2 + 1; return_s1 = state_1; 
   [return_s5_exe2,return_s6_exe2,return_s8_exe2,return_s9_exe2] = exe_State2(as,z,k,state_5,state_6,state_8,state_9);
    return_s5 = return_s5_exe2; return_s6=return_s6_exe2; return_s8 = return_s8_exe2; return_s9 = return_s9_exe2; 
else
    return_s8 = state_8 + 1; return_s1 = state_1; return_s2 = state_2; return_s5 = state_5; return_s6=state_6; return_s9 = state_9; 
    p = 'Http Response';
    disp(p); 
end