Consider "the case of two Transitions[3]
originating from the same State,[2]
triggered by the same event, but with different guards.
If that event occurs and both guard conditions are true, then at most one of those Transitions can fire in a given run-to-completion step."[3]