Русская Википедия:Структура событий

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

  • конечность причин: для каждого события <math>e\in E</math> множество <math>[e]=\{f\in E|f\leqslant e\}</math> предшественников <math>e</math> в <math>E</math> конечно,
  • наследственность несовместимости: для каждого события <math>d,e,f\in E</math>, если <math>d\leqslant e</math> и <math>d\# f</math> то <math>e\# f</math>.

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

Ссылки

Шаблон:ВС Шаблон:Rq