public boolean isLambdaTransition(Transition transition) 
    {
        MealyTransition t = (MealyTransition) transition;
        if(t.getLabel().equals(LAMBDA))
            return true;
        else
            return false;
    }