Структура событий

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

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

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

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

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

Ссылки

• Шаблон:Cite news