
%This function processes the outgoing transitions from state s2 

function [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)

state = exe_State(as);
if(state == 1)
   return_s5_exe2 = state_5 + 1; 
  [return_s6_exe5, return_s8_exe5, return_s9_exe5] = exe_State5(z,k,state_6,state_8,state_9); 
  
  return_s6_exe2 = return_s6_exe5; return_s8_exe2 = return_s8_exe5; return_s9_exe2 = return_s9_exe5; 
    
else
    return_s8_exe2 = state_8 + 1; return_s5_exe2 = state_5; return_s6_exe2 = state_6; return_s9_exe2 = state_9; 
    p = 'Http Response';
    disp(p); 
end
