Пример сети Петри для работы группы пользователей на одной рабочей станции
Пример 1. Требуется описать с помощью сети Петри работу группы пользователей на единственной рабочей станции (РС) при заданных характеристиках потока запросов на пользование РС и характеристиках поступающих задач. Сеть Петри представлена на рис. 5.16.
Рис. 5.16. Сеть Петри к примеру 1
Здесь переходы связаны со следующими событиями: t1 – поступление запроса на использование РС, t2 – занятие станции, t3 – освобождение станции, t4 – выход обслуженной заявки; позиция р4 используется для отображения состояния РС: если в р4 имеется метка, то РС свободна, и пришедшая заявка вызывает срабатывание перехода t2; пока эта заявка не будет обслужена, метки в р4 не будет, следовательно, пришедшие в позицию р1 запросы вынуждены ожидать срабатывания перехода t3.
Дата добавления: 2015-09-18; просмотров: 919;