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

Конфликтные ситуации в сетях Петри

На рис. 5.15 представлен фрагмент сети Петри, иллюстрирующий конфликтную ситуацию – маркер в позиции р может запустить либо переход t₁, либо переход t₂.

В стохастической сети предусматривается вероятностный выбор срабатывающего перехода в таких ситуациях.

Рис. 5.15. Конфликт двух переходов в сети Петри

Пример 1. Требуется описать с помощью сети Петри работу группы пользователей на единственной рабочей станции (РС) при заданных характеристиках потока запросов на пользование РС и характеристиках поступающих задач. Сеть Петри представлена на рис. 5.16.

Рис. 5.16. Сеть Петри к примеру 1

Здесь переходы связаны со следующими событиями: t₁ – поступление запроса на использование РС, t₂ – занятие станции, t₃ – освобождение станции, t₄ – выход обслуженной заявки; позиция р₄ используется для отображения состояния РС: если в р₄ имеется метка, то РС свободна, и пришедшая заявка вызывает срабатывание перехода t₂; пока эта заявка не будет обслужена, метки в р₄ не будет, следовательно, пришедшие в позицию р₁ запросы вынуждены ожидать срабатывания перехода t₃.

Дата добавления: 2014-12-27