A transition that would handle an accepted event.
it has a cond (shown, not evaluated)
cond
its (active) source state
where it leads (empty: targetless)
the transition
A transition that would handle an accepted event.