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

UptoLike

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

Рубрика:

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

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

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

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

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

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

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

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

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

сеть Петри описывает структуру системы, ее состояние и поведение

[21].

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

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

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

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

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

ности сетей Петри:

1. Временная сеть Петри – переходы обладают весом, опреде-

ляющим продолжительность срабатывания (задержку).

2. Стохастическая сеть Петри — задержки являются случайными

величинами.

3. Функциональная сеть Петри — задержки определяются как

функции некоторых аргументов, например, количества меток в каких-

либо позициях, состояния некоторых переходов.

4. Цветная (раскрашенная) сеть Петри — метки могут быть раз-

личных типов, обозначаемых цветами, тип метки может быть использо-

ван как аргумент в функциональных сетях.

Основными свойствами сети Петри являются:

1. Ограниченность – число меток в любой позиции сети не может

превысить некоторого значения K.

2. Безопасность – частный случай ограниченности.

3. Сохраняемость – постоянство загрузки ресурсов.

112