Messages.getString("EndlicherAutomat."
+ "EinerderbeidenKnotenexistiertnicht"));
}
knoten1.neuerNachfolger(knoten2);
knoten2.neuerVorgaenger(knoten1);
zusatz1 = knoten1.getInfo();
bed = new Transition(cond,
knotenName1.intValue(),
knotenName2.intValue(),