Структура событий — множество объектов-событий, наделённое структурой причинно-следственной зависимости и несовместимости. Определяется как тройка , где: — множество событий, — частичный порядок на , который называется причинностью (или причинно-следственной зависимостью), — антирефлексивное симметричное отношение, называемое несовместимостью (или конфликтностью), на которую наложены следующие аксиомы: конечность причин: для каждого события множество предшественников в конечно, наследственность несовместимости: для каждого события , если и то .
Применяется в информатике и прикладной математике (имитационном моделировании, теории автоматов).
Ссылки
Категория:Прикладная математика Категория:Теория порядков