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