String[] parsedTransition = cutTransitionText( transitions[i] );
Node from = pd.getNode( parsedTransition[0] );
Node to = pd.getNode( parsedTransition[2] );
Transition t = new Transition( parsedTransition[1] );
from.addLeavingTransition(t);
to.addArrivingTransition(t);
}
}
public static String getTypeName(Node node) {
if (node==null) return null;