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

Racing

Another type of conflict, racing, occurs when (at the same point in time) a condition or data-item is modified more than once.

If E occurs when the system is in S1 and S3, X may be assigned two different values. This is a racing condition. In this example, racing occurs when a condition is modified more than once in the same step. See Show Racing for information how to resolve a racing condition.