Event Graphs: Syntax, Semantics, and Implementation | AMiner