Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Моделирование_шпорка.docx
Скачиваний:
5
Добавлен:
25.09.2019
Размер:
1.4 Mб
Скачать
  1. Простые временные сети Петри. Способы задания. Моделирование элементарного цикла обслуживания простой временной сетью Петри.

Сеть Петри это ориентированный граф, содержащий позиции (вершины), определяющие условия, имеющиеся в системе, и переходы, отображающие связанные с этими условиями действия.

Сети Петри функционируют в непрерывном времени. Динамика функционирования определяется правилами срабатывания переходов. Изменение состояния сети связано с механизмом изменения маркировок позиций. В случае простой временной сети Петри:

    • срабатывает только активный переход, т. е. такой, во всех входных позициях которого имеются метки;

    • срабатывание перехода наступает через заданный конечный промежуток времени после его активизации, причем если возникает конфликт – одновременная активизация нескольких переходов, имеющих общие входные вершины, то срабатывает равновероятно только один из конфликтных переходов;

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

Элементарный цикл обслуживания моделируется простой временной сетью Петри, представленной на рис. 16.

С переходами на рис. 16 связаны времена выполнения следующих действий: t1 –поступление заявки на обслуживание во входную очередь; t2 – начало обслуживания; t3 – конец обслуживания; t4 –выход заявки из цикла обслуживания. Позиции этой сети Петри соответствуют условиям: Р1 – наличие заявки, ожидающей обслуживания, во входной очереди; Р2 – наличие заявки на обслуживании в процессоре; Р3 – процессор свободен; Р4 – наличие обслуженной заявки в выходной очереди. Маркировка сети Петри, показанной на рис. 16, соответствует начальному состоянию системы обслуживания: заявок, ожидающих обслуживание, во входной очереди нет, и процессор свободен (вершина P3 содержит метку).

Другая маркировка сети Петри, моделирующей элементарный цикл обслуживания, показана на рис. 17.

Маркировка, показанная на рис. 17, соответствует следующему состоянию: заявка ожидает обслуживания и процессор свободен: вершины Р1 и P3 содержат метки, и, следовательно, переход t2 активизирован.

  1. Ингибиторные сети Петри. Моделирование элементарного цикла обслуживания ингибиторной сетью Петри. Пример моделирования системы или процесса ингибиторной сетью Петри.

Особой разновидностью сетей Петри являются ингибиторные сети, которые в дополнение к обычным дугам (ветвям) графа сети содержат запрещающие, так называемые ингибиторные ветви. Такая ветвь запрещает активацию перехода при наличии достаточного количества меток во входных вершинах обычных дуг до тех пор, пока в ее входной вершине имеются метки. Во фрагменте сети Петри, приведенном на рис.22-а, ветвь а запрещает запуск перехода t1 при наличии метки в позиции P1. Пример реализации простейшего цикла обслуживания с использованием ингибиторной сети Петри представлен на рис.22-б. Здесь переход t2 при наличии метки в позиции Р2 будет «заперт» не смотря на наличии метки в вершине Р1 до тех пор, пока метка не покинет Р2 через переход t3, что эквивалентно завершению очередного обслуживания.

Сеть Петри для моделирования магистрального канала передачи данных. Пусть к общему каналу связи подключены N абонентов и возможна связь любых абонентов друг с другом. Абонент-отправитель осуществляет попытку связи в случайный момент времени Т1. Если канал занят передачей информации от другого абонента, это обнаруживается по наличию сигналов несущей частоты в канале связи. Абонент задерживает передачу на время t1, являющееся реализацией равномерно распределенной в заданном диапазоне случайной величины t. Если в момент времени (Т1+t1) канал связи опять занят, то передача задерживается по тому же правилу. Если два абонента или более пытаются начать передачу одновременно, возможны конфликты. Одновременность описывается условием DТ<e, где DТ – промежуток времени между моментами начала передачи данных различными абонентами, e>0. При конфликте передача начинается, но передаются искаженные данные. Ликвидация конфликта заключается в том, что все абоненты, начавшие одновременно передачу данных, прекращают ее и пытаются начать работу через промежуток времени, индивидуальный для каждого абонента и являющийся функцией t.

В модельной реализации (см. рис. 23) источник (открытый переход t2) имитирует поток заявок на передачу от всех абонентов. Если канал свободен и конфликта нет, заявка проходит через t3, t6, t7, t10, t11 и выходит из системы обслуженной, причем в t6 происходит задержка на время e, а в t10 - на время (Тп-e), где Тп – время передачи пакета.

Если канал занят (заявка задержана в t10), то попытка другого абонента начать передачу приводит к прохождению заявки по маршруту t3, t6, t9, и далее в один из переходов t12..tn. Срабатывание перехода t9, а не t7, происходит потому, что предыдущая заявка, прошедшая через t7 и еще не вышедшая из t10, изъяла метку из позиции р9. Тем самым переход t7 оказался запрещенным, а t9 разрешенным.

Переходы t12...tn моделируют задержку пакетов на время ti. Через время ti заявка переходит к р3, т. е. предпринимается новая попытка передачи сообщения. Конфликты возникают, если новая заявка приходит в позицию р3, когда предыдущая еще не покинула переход t6. Поэтому метка не может пройти переход t3, но может пройти через переход t4 в позицию р6. Теперь вышедшая из t6 заявка сможет пройти через t8 на переходы t12...tn, где обе заявки будут задержаны на случайные отрезки времени перед повторными попытками передачи. Чтобы метка из р8 перешла в t8, а не в t9, ветви, ведущей в t8, присваивается более высокий приоритет. Переход t5 срабатывает в случае, если в конфликт вошло более двух заявок [3, 20-23].

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]