Draft:Event Graph

In simulation, Event Graphs (EGs) are a type of directed graph (with labeled and annotated vertices and annotated edges) used for modeling discrete-event systems. Like Petri Nets, EGs provide a model for concurrent computation. EGs have the full power of Turing machines.