The point at which transitions split into multiple, mutually exclusive branches, each terminating at a different destination state. One of the branches must be a default branch.