Структура событий
Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 28 ноября 2019 года; проверки требует 1 правка.
Структура событий — множество объектов-событий, наделённое структурой причинно-следственной зависимости и несовместимости. Определяется как тройка , где:
- — множество событий,
- — частичный порядок на , который называется причинностью (или причинно-следственной зависимостью),
- — антирефлексивное симметричное отношение, называемое несовместимостью (или конфликтностью),
на которую наложены следующие аксиомы:
- конечность причин: для каждого события множество предшественников в конечно,
- наследственность несовместимости: для каждого события , если и то .
Применяется в информатике и прикладной математике (имитационном моделировании, теории автоматов).
Ссылки править
- Winskel, Glynn (1987). "Event Structures" (PDF). Advances in Petri Nets. Lecture Notes in Computer Science. Springer.
Для улучшения этой статьи желательно:
|