Event ordering - HACKT CHPSIM Manual
Description: HACKT CHPSIM Manual

Next: Timing, Up: Event-driven Execution

### 5.1 Event ordering

Figure: Obsolete: CHP simulator event life cycle

Figure: CHP simulator event algorithm

The whole-program event graph is composed of concurrent event graphs representing each process. The edges in the event graph represent the legal orderings between events, including cycles. Any process's execution trace is a projection of the entire program's execution trace (and all possible traces).