Структура событий (Vmjrtmrjg vkQdmnw)

Структура событий — множество объектов-событий, наделённое структурой причинно-следственной зависимости и несовместимости. Определяется как тройка $(E,\leqslant ,\#)$, где:

• $E$ — множество событий,
• $\leqslant$ — частичный порядок на $E$, который называется причинностью (или причинно-следственной зависимостью),
• $\#$ — антирефлексивное симметричное отношение, называемое несовместимостью (или конфликтностью),

на которую наложены следующие аксиомы:

• конечность причин: для каждого события $e\in E$ множество $[e]=\{f\in E|f\leqslant e\}$ предшественников $e$ в $E$ конечно,
• наследственность несовместимости: для каждого события $d,e,f\in E$, если $d\leqslant e$ и $d\#f$ то $e\#f$.

Применяется в информатике и прикладной математике (имитационном моделировании, теории автоматов).

Ссылки

• Winskel, Glynn (1987). "Event Structures" (PDF). Advances in Petri Nets. Lecture Notes in Computer Science. Springer.