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

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

19.12.2020

Структура событий — множество объектов-событий, наделённое структурой причинно-следственной зависимости и несовместимости. Определяется как тройка ( E , ⩽ , # ) {displaystyle (E,leqslant ,#)} , где:

  • E {displaystyle E} — множество событий,
  • ⩽ {displaystyle leqslant } — частичный порядок на E {displaystyle E} , который называется причинностью (или причинно-следственной зависимостью),
  • # {displaystyle #} — антирефлексивное симметричное отношение, называемое несовместимостью (или конфликтностью),

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

  • конечность причин: для каждого события e ∈ E {displaystyle ein E} множество [ e ] = { f ∈ E | f ⩽ e } {displaystyle [e]={fin E|fleqslant e}} предшественников e {displaystyle e} в E {displaystyle E} конечно,
  • наследственность несовместимости: для каждого события d , e , f ∈ E {displaystyle d,e,fin E} , если d ⩽ e {displaystyle dleqslant e} и d # f {displaystyle d#f} то e # f {displaystyle e#f} .

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