if (model == Model.PETRI_NET) {
            pdt.drawSingleTransition(singleTransition);
        } else if (model == Model.STG) {
            sdt.drawSingleTransition(singleTransition);
        }