Open
Description
Currently in the specification it is left to the user to ensure that simultaneous transitions (i.e. within the same timestep) do not occur in the design of Dynamics classes. However, I have been thinking that this is not really practical in the design OnEvent transitions triggered by incoming events, which can happen at any time. Maybe we should require an explicit hierarchy in transitions to avoid such cases, as rare as they are likely to be.
Activity