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 ${\displaystyle (E,\leq ,\#)}$ consists of

such that

...
Wikipedia