В математике и информатике , структура событий представляет собой набор событий, некоторые из которых могут быть выполнены только после того, как другой (существует зависимость между событиями ) и некоторые из которых не может быть выполнена вместе (имеется конфликт между событиями ).
Формальное определение
Структура событий состоит из
- множество о событиях
- отношение частичного порядка наназывается причинной зависимостью ,
- иррефлексивное симметричное соотношениеназывается несовместимостью (или конфликтом )
такой, что
- конечные причины : для каждого события, набор предшественников в конечно
- наследственный конфликт : на все случаи жизни, если а также тогда .
Смотрите также
Рекомендации
- Винскель, Глинн (1987). «Структуры событий» (PDF) . Успехи в сетях Петри . Конспект лекций по информатике. Springer.