3.2. Задание по работе

1. Получить вариант задания у преподавателя.

2. Обратиться к программе моделирования и установить время одного цикла моделирования и количество циклов моделирования.

3. Задать конкретные размещения меток в сети для проверки условия достижимости за выбранный интервал моделирования.

4. Для всех переходов, использующихся в сети, экспериментально, в процессе моделирования, проверить выполнение условия живости.

5. Составить отчёт по работе.

3.3. Варианты заданий

В каждом варианте задания выбирается сеть Петри, состоящая из 9 позиций и примерно такого же количества переходов. Конфигурация сети выбирается студентом и согласуется с преподавателем. Во всех случаях сеть Петри должна быть замкнутой.

3.4. Методические указания

Обычные размеченные сети Петри, как они были определены выше, пригодны для описания событий произвольной длительности. Модель в этом случае отражает только порядок наступления событий в рассматриваемой системе. Функционирования сети Петри происходит недетерминированно в том случае, когда возникает разметка, соответствующая возбуждённому состоянию двух или более переходов. Время срабатывания переходов в модели принимается бесконечно малым и вводится предположение, что вероятность двух или более одновремённых событий рана нулю. Свойство ординарности.

Модель на основе сетей Петри даёт возможность анализа системы на наличие желательных и нежелательных свойств. Основные направления анализа для обычных сетей Петри следующие.

1. Проблема достижимости. В приложении к моделированию систем эта проблема интерпретируется как возможность достижения определённого состояния системы.

2. Свойство живости. Под свойством живости перехода понимают принципиальную возможность его срабатывания при некоторой начальной разметки. Поскольку в сети возможен недетерминизм, то при моделировании рассматриваются все возможные очерёдности и варианты переходов. Анализ модели на свойство живости позволяет выявить неживые переходы, т.е. невозможные события в моделируемой системе.

3. Ограниченность сети. Это свойство, при котором в выделенной позиции всё время моделирования число меток не превосходит заданной величины k.

4. Безопасность сети. Сеть Петри называется безопасной, если ни в одной позиции всё время моделирования будет не более одной метки. При анализе этого свойства могут быть выявлены требования к внутренним буферным накопителям в системе.

5. Свойство сохранения. Сеть Петри называется сохраняющей, если сумма всех меток, находящихся в позициях, постоянна всё время моделирования. Анализ модели на сохранение тогда важен, когда под динамическими объектами (метками) понимают какие-либо неизменные ресурсы системы.

Использование моделирующей программы делает задачу анализа сетей Петри разрешимой, поскольку для недетерминированных переходов количество возможных вариантов необозримо велико.

При моделировании остаётся проблема выбора количества экспериментов. Это количество нельзя определить теоретически и поэтому число экспериментов подбирают в опыте. Если, начиная с некоторого объёма выборки, поведение сети не изменяется при дальнейшем увеличении объёма выборки, то данный объём полагается достаточным, а результаты достоверными.