actualizacion msg-automata-sesion