51
51
DataLayer guiModel = template.guiModel();
52
52
Place guiSource = guiModel.getPlaceByName(arc.getSource().getName());
53
53
Transition guiTarget = guiModel.getTransitionByName(arc.getTarget().getName());
58
59
arc.getSource().getName() + "_to_" + arc.getTarget().getName()
62
65
Place oldGuiSource = guiModel.getPlaceByName(arc.getSource().getName());