Структура событий

Структура событий — множество объектов-событий, наделённое структурой причинно-следственной зависимости и несовместимости. Определяется как тройка , где:

на которую наложены следующие аксиомы:

  • конечность причин: для каждого события множество предшественников в конечно,
  • наследственность несовместимости: для каждого события , если и то .

Применяется в информатике и прикладной математике (имитационном моделировании, теории автоматов).

СсылкиПравить