Model Execution: Concepts and Terms : Simulation Scope : Nondeterminism And Racing : Non-determinism – Example 2

Non-determinism – Example 2

When event E is generated, both the S1 to S2 transition and the S3 to S4 transition are enabled. Since in both cases the parent state of the target state is identical, no transition priority rule can determine the correct transition. A nondeterminism has been found.