Структура мероприятия - Event structure

В математика и Информатика, структура мероприятия представляет набор событий, некоторые из которых могут выполняться только за другим (есть зависимость между событиями ), и некоторые из них могут не выполняться вместе (есть конфликт между событиями).

Формальное определение

An структура мероприятия ${\displaystyle (E,\leq ,\#)}$ состоит из

• множество ${\displaystyle E}$ из События
• а частичный заказ отношение на ${\displaystyle E}$ называется причинная зависимость,
• ан иррефлексивный симметричный связь ${\displaystyle \#}$ называется несовместимость (или же конфликт)

такой, что

• конечные причины: для каждого события ${\displaystyle e\in E}$, набор ${\displaystyle [e]=\{f\in E|f\leq e\}}$ предшественников ${\displaystyle e}$ в ${\displaystyle E}$ конечно
• наследственный конфликт: для каждого события ${\displaystyle d,e,f\in E}$, если ${\displaystyle d\leq e}$ и ${\displaystyle d\#f}$ тогда ${\displaystyle e\#f}$.

Смотрите также

• Бинарное отношение
• Математическая структура

Рекомендации

• Винскель, Глинн (1987). «Структуры событий» (PDF). Достижения в сетях Петри. Конспект лекций по информатике. Springer.