public void setForegroundColor(Node n, Color nodeColor) {
        if (n instanceof PlaceNode) {
            ((PlaceNode) n).setForegroundColor(nodeColor);
        }
        if (n instanceof TransitionNode) {