Event relationship graph

Event relationship graphs (ERGs) are a type of directed graph (with labeled and annotated vertices and annotated edges) used for modeling discrete-event systems.

Like Petri Nets, ERGs provide a model for concurrent computation.

ERGs have the full power of Turing machines.

[1]