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