Структура мероприятия
 | Эта статья включает список литературы , связанную литературу или внешние ссылки , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Май 2024 г. ) |
В математике и информатике структура событий представляет собой набор существует зависимость событий, некоторые из которых могут выполняться только после других ( между событиями ), а некоторые могут не выполняться вместе (возникает конфликт между событиями). ).
Формальное определение [ править ]
события Структура состоит из
- множество событий
- отношение частичного порядка на называемая причинно-следственная зависимость ,
- иррефлексивное симметричное отношение называется несовместимостью (или конфликтом )
такой, что
- конечные причины : для каждого события , набор предшественников в конечно
- наследственный конфликт : на все события , если и затем .
![{\displaystyle [e]=\{f\in E\mid f\leq e\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6bb22db296e76116b3e379073c1256a478862303)
См. также [ править ]
Ссылки [ править ]
- Винскель, Глинн (1987). «Структуры событий» (PDF) . Достижения в области сетей Петри . Конспекты лекций по информатике. Спрингер.
- структура событий в nLab
 | Эта математике статья по незавершена . Вы можете помочь Википедии, расширив ее . |