Структура событий
Структура событий — множество объектов-событий, наделённое структурой причинно-следственной зависимости и несовместимости. Определяется как тройка , где:
- — множество событий,
- — частичный порядок на , который называется причинностью (или причинно-следственной зависимостью),
- — антирефлексивное симметричное отношение, называемое несовместимостью (или конфликтностью),
на которую наложены следующие аксиомы:
- конечность причин: для каждого события множество предшественников в конечно,
- наследственность несовместимости: для каждого события , если и то .
Применяется в информатике и прикладной математике (имитационном моделировании, теории автоматов).
Ссылки
- Winskel, Glynn. Event Structures, Springer.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.