// fire the leave-node event for this node
fireEvent(Event.EVENTTYPE_NODE_LEAVE, executionContext);
// log this node
if (token.getNodeEnter()!=null) {
token.addLog(new NodeLog(this, token.getNodeEnter(), new Date()));
}
// update the runtime information for taking the transition
// the transitionSource is used to calculate events on superstates
executionContext.setTransitionSource(this);