public AutomatonGraph(Automaton automaton) {
		super();
		State[] states = automaton.getStates();
		Transition[] transitions = automaton.getTransitions();
		for (int i = 0; i < states.length; i++)
			addVertex(states[i], states[i].getPoint());
		for (int i = 0; i < transitions.length; i++)
			addEdge(transitions[i].getFromState(), transitions[i].getToState());
	}