64656667686970
aut.setInitialState(state); } } private void insertTransition(FSM aut, String state1, String state2, String label) { aut.addTransition(new Transition(true, state1, state2, label)); }