Структура мероприятия
- Структура событий в математике и информатике описывает последовательности событий и их комбинации.
- Различные источники предоставляют разные математические формализации для запуска событий и запрещенных комбинаций.
- Глинн Винскель предложил общую формализацию структуры событий в виде тройки (E, C, ⊢).
- E — набор событий, C — семейство конечных подмножеств E, согласованных и непротиворечивых.
- ⊢ — бинарное отношение от согласованных множеств к элементам E, интерпретирующее возможность событий.
- Конфигурация структуры событий — подмножество E, все конечные подмножества которого согласованы и защищены.
- nlab упрощает определения, заменяя семейство последовательных событий отношением несовместимости и причинно-следственной зависимостью.
- Простые структуры событий — замкнутые вниз подмножества частичного порядка без несовместимых пар.
Полный текст статьи: