Model Execution: Concepts and Terms : Simulation Scope : Nondeterminism And Racing

Nondeterminism And Racing

Thus far all the Statechart examples have had unambiguous reactions. For each given system status only one set of reactions was enabled and the next status was clearly determined. Simulation progresses smoothly along the one legal path.