if (model == Model.PETRI_NET) {
            petriDrawingTool.drawSingleTransition(singleTransition);
        } else if (model == Model.STG) {
            stgDrawingTool.drawSingleTransition(singleTransition);
        }