Cấu trúc sự kiện

Trong toán học và khoa học máy tính, một cấu trúc sự kiện đại diện cho một tập hợp các sự kiện, một số trong đó chỉ có thể được thực hiện sau một sự kiện khác (có sự <i id="mwCA">phụ thuộc</i> giữa các sự kiện) và một số trong đó có thể không được thực hiện cùng nhau (có xung đột giữa các sự kiện). Một cấu trúc sự kiện ( E , ≤ , # ) {\displaystyle (E,\leq ,\#)} bao gồm một bộ sự kiện E {\displaystyle E} . một quan hệ thứ tự một phần trên E {\displaystyle E} gọi là phụ thuộc nhân quả. một mối quan hệ đối xứng không phản xạ # {\displaystyle \#} gọi là không tương thích (hoặc xung đột). như vậy mà nguyên nhân hữu hạn: cho mọi sự kiện e ∈ E {\displaystyle e\in E} , bộ [ e ] = { f ∈ E | f ≤ e } {\displaystyle [e]=\{f\in E|f\leq e\}} tiền thân của e {\displaystyle e} trong E {\displaystyle E} là hữu hạn xung đột di truyền: cho mọi sự kiện d , e , f ∈ E {\displaystyle d,e,f\in E} , nếu d ≤ e {\displaystyle d\leq e} và d # f {\displaystyle d\#f} sau đó e # f {\displaystyle e\#f} . Quan hệ nhị phân Cấu trúc toán học Winskel, Glynn (1987). “Event Structures” (PDF). Advances in Petri Nets. Springer.