Сетевые модели (N - схемы)

От латинского Petri Nets.

Для описания и анализа причинно – следственных связей сложных, одновременно и параллельно протекающих процессов используются N – схемы – основанные на распространенных сетях Петри.

Формально сеть Петри задается следующим образом:

где В – конечное множество символов, называемых позициями; D - конечное множество символов, называемых переходами; I – входная функция: ; О – выходная функция: .

Входная функция отображает переход в множество входных позиций, а выходная – переход в множество выходных позиций.

Графически N – схема изображается в виде ориентированного мультиграфа.

Для изображения динамических систем используют маркированные (размеченные) N – схемы, описываемые соотношением:

- совокупность сети Петри и маркировки М.

Смена разметки происходит в результате срабатывания переходов, маркировка производится таким же образом через переходы D.

Сети Петри, а также модифицированные Е – сети, сети Мерлина и т.д., применяются для описания сложных многовариантных, параллельных и конкурирующих процессов в различных сложных системах телекоммуникаций, устройств компьютерных сетей и т.д.