xbt_automaton_state_t state_src = xbt_automaton_state_exists(parsed_automaton, state_id_src);
//xbt_transition_t trans = NULL;
xbt_automaton_state_t state_src = xbt_automaton_state_exists(parsed_automaton, state_id_src);
//xbt_transition_t trans = NULL;