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

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

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

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

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

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

Ссылки[ | ]

• Winskel, Glynn. Event Structures, Springer.

Для улучшения этой статьи желательно: Дополнить статью (статья слишком короткая либо содержит лишь словарное определение). Проставив сноски, внести более точные указания на источники. Пожалуйста, после исправления проблемы исключите её из списка параметров. После устранения всех недостатков этот шаблон может быть удалён любым участником.