GraphConstants.setLineColor(arc.getAttributes(), T_STAR_COLOR);
OperatorTransitionModel operatorModel;
if (source.getType() == AbstractPetriNetElementModel.TRANS_OPERATOR_TYPE) {
operatorModel = (OperatorTransitionModel) source;
operatorModel.addElement(target);
operatorModel.registerOutgoingConnection((PetriNetModelProcessor) editor.getModelProcessor(),
target);
} else
if (target.getType() == AbstractPetriNetElementModel.TRANS_OPERATOR_TYPE) {
operatorModel = (OperatorTransitionModel) target;