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).