Cấu trúc sự kiện

Bách khoa toàn thư mở Wikipedia
Bước tới điều hướng Bước tới tìm kiếm

Trong toán họckhoa 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).

Định nghĩa chính thức[sửa | sửa mã nguồn]

Một cấu trúc sự kiện bao gồm

  • một bộ sự kiện .
  • một quan hệ thứ tự một phần trên gọi là phụ thuộc nhân quả.
  • một mối quan hệ đối xứng không phản xạ 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 , bộ tiền thân của trong là hữu hạn
  • xung đột di truyền: cho mọi sự kiện , nếu sau đó .

Xem thêm[sửa | sửa mã nguồn]

Tham khảo[sửa | sửa mã nguồn]

  • Winskel, Glynn (1987). “Event Structures” (PDF). Advances in Petri Nets. Springer.