Event structure  In mathematics and computer science, an event structure represents a set of events, some of which can only be performed after another (there is a "dependency" between the events) and some of which might not be performed together (there is a "conflict" between the events). An event structure formula_1 consists of such that