UMLR — No explanation of how to deal with conflicting transitions of equal priority

The spec does not say anything about how to deal with the case where two or more conflicting transitions with the same priority (e.g., triggered by the same event but with different guards that evaluate to true). Presumably, this is left as an implementation choice.

In any case, there should be an explicit statement on this point.