// res.add(firstTransition);
// }
// }
StateNode sn = (StateNode) processGraphElements.get(activityName);
if (sn == null) continue;
sn = sn.cloneNode();
sn.setUnfinished(activity.getEndTime() == null);
// sn.setLabel(activityName + ": " + activity.getDurationInMillis() + "ms");
res.add(sn);
//look for transition
}