public void export() {
		boolean done = (pToT.size() - alreadyDone.size()) == 0;
		if (!done) {
			javax.swing.JOptionPane.showMessageDialog(parent,
					"The conversion is not completed yet!");
			return;
		}
		Automaton toExport = (Automaton) automaton.clone();
		gui.environment.FrameFactory.createFrame(toExport);
	}