WikiDer > Структура мероприятия

Event structure

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

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

An структура мероприятия состоит из

такой, что

  • конечные причины: для каждого события , набор предшественников в конечно
  • наследственный конфликт: для каждого события , если и тогда .

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

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

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