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

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

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

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

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

Ссылки

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.