protected Element createTransitionElement(Document document, Transition transition)
    {
        Element te = super.createTransitionElement(document, transition);
        MealyTransition t = (MealyTransition) transition;
        te.appendChild(createElement(document, TRANSITION_READ_NAME, null, t.getLabel()));
        te.appendChild(createElement(document, TRANSITION_OUTPUT_NAME, null, t.getOutput()));
        return te;
    }