Моделирование сетей. Замятина О.М. - 56 стр.

UptoLike

Составители:

Рубрика:

Таблица 3.1

Элементы сетей Петри

Название элемента

Изображение элемента

Позиция (Р)

Переход (Т)

Дуга

Переходы в сети Петри являются событиями, которые изменяют

состояния в реальной системе. На рис. 3.1 приведен пример интерпре-

тации сети Петри.

Рис. 3.1. Интерпретация сети Петри

Формальный аппарат сетей Петри предназначен для моделирования

систем различного рода и отражает состояния исследуемой системы со-

стоянием сети. Состояние сети Петри определяется ее маркировкой. Ко-

личество и распределение фишек сети определяют динамику исследуемой

системы. Сеть Петри выполняется посредством запусков переходов в ре-

зультате удаления фишек из его входных позиций и добавления их в вы-

ходные позиции перехода. Последовательность срабатываний переходов

полностью определяет поведение сети. Таким образом, сеть Петри описы-

вает структуру системы, ее состояние и поведение [14].

При введении ряда дополнительных правил и условий в алгоритмы

моделирования получают различные разновидности сетей Петри. Это

необходимо для определения модельного времени, которое позволит

моделировать не только последовательность событий, но и их привязку

ко времени. В настоящее время выделяют следующие разновидности

сетей Петри: