PSSM11 — Order of transitions in RTC steps

Is the order of transitions significant in the Fired transition(s) column of RTC steps?

E.g., in Test Fork 001 the 3rd RTC step fires [T2(T3.1, T3, T4)]. The transitions here are not sorted alphabetically, which suggests the order matters. However, the trace shows a different execution order of transition effects: T3(effect), ..., T3.1(effect), ..., T4(effect), ...
The orders of fired transitions and the trace also differ in Test Entering 011.

On the contrary, in the following tests the fired transition order matters and it determines the order of:

• transition effects in Fork 002,
• entry behaviors in Entry 002-B, Terminate 001 and Terminate 002.

It would be beneficial to clarify whether the order in the column is relevant, and if not, sort the transitions alphabetically.