char* first_part = strtok(id,"_");
int type = 0 ; // -1=initial state; 0=intermediate state; 1=final state
char* first_part = strtok(id,"_");
int type = 0 ; // -1=initial state; 0=intermediate state; 1=final state
xbt_automaton_state_t state_dst = NULL;
new_state(id, 0);
state_dst = xbt_automaton_state_exists(parsed_automaton, id_state);
xbt_automaton_state_t state_dst = NULL;
new_state(id, 0);
state_dst = xbt_automaton_state_exists(parsed_automaton, id_state);