Сайт в помощь студенту Грамоте учиться – всегда пригодится


Скачать реферат полностью

Обобщения сетей Петри.
Цветные сети Петри. Появление сетей этого класса связано с концепцией использования различных меток. Ранее все метки предполагались одинаковыми. Механизм функционирования сетей был связан только лишь с количествами меток в входных позициях переходов и определялся общими для всех меток условиями возбуждения переходов и правилами изменения различных позиций при выполнении сети. В цветных сетях каждая метка получает свой цвет. Условия возбуждения и правила срабатывания переходов для меток каждого цвета задаются независимо. Множество используемых при реализации цветных сетей красок выбирается конечным или бесконечным (например, счётным). При моделировании систем цветные сети чаще всего используются для построения компактных формальных и графических представлений, в составе которых имеются однотипные по структуре и характеру функционирования группы объектов.
Сети Петри со сдерживающими дугами. Сдерживающая дуга из позиции pi в переход tj имеет маленький кружок (а не стрелку). Кружок означает отрицание (“не”). Правила запуска изменяются следующим образом: переход является разрешённым, когда фишки присутствуют во всех его (обычных) входах и отсутствуют в сдерживающих входах. Переход запускается удалением фишек из всех его (обычных) входов. Так можно описывать переходы, исключающее ИЛИ: в обычных СП переход запускается, когда все его входы имеют фишки (логика Н). Переход “исключающее ИЛИ” запускается тогда и только тогда, когда только один из его входов имеет фишки, а все другие фишек не имеют. Когда переход запускается, он удаляет фишку только из входа с фишками.

Интерпретация перехода “исключающее ИЛИ” с помощью сдерживающих дуг

 

 

Механизм назначения приоритетов может устанавливать порядок срабатывания переходов при возникновении конфликтов. Имеются ещё два других важных расширений СП. Переходам могут быть поставлены в соответствие приоритеты так, что если tj и tk  оба допускали, то переход, то переход с высшим приоритетом будет запущен первым. Во временных сетях Петри каждому переходу tj сопоставляются два момента времени ?1,j и ?2,j. Переход tj может быть запущен, только если он был разрешён к моменту времени ?1,j. Если он является разрешённым, то должен быть запущен до наступления момента времени ?2,j.
Временные сети Петри.
Формально временные сети задаются набором (P, T, I, O, ?°, Z), где P, T, I, O, ? имеют обычный смысл, а Z;P>R+ функция времени задержки меток в позициях сети. Работа временных сетей подчиняется следующим правилам:
? метки в позициях могут быть доступными или же недоступными;
? переходы считаются возбуждёнными, если все их входные позиции имеют метки и эти метки доступные;
? переходы срабатывают мгновенно в тот самый момент, как только будут выполнены условия их возбуждения. Правила перехода меток во временных сетях совпадают с аналогичными правилами для сетей Петри;
? каждая метка, совершившая переход из  в , буде недоступной в   в течении времени , начиная с момента её появления в . По истечению времени  метка становится доступной.
Сети Петри (Forsctrung)
Одним из интересных применений временных сетей являются задачи анализа периодический режимов функционирования систем. В сети можно обеспечить периодический режим работы с минимальным периодом. Такой режим достигается при использовании специального расписания включения переходов сети.
Характерным для имитационных моделей формализующим фактором является применённый в них новый механизм описания состояния сети. Метки в расширенных сетях Петри являются определённого количества атрибутов, в качестве которых могут выступать числа, логические переменные, текстовые конструкции, массивы, таблицы. Атрибуты меток могут быть функциями времени. Переходы меток при выполнении сети сопровождаются изменениями значений атрибутов. Эти изменения подчиняются специально определяемым в модели правилам (процедурам перехода). В расширенных сетях Петри средства описания процессов синхронизации событий значительно более развиты, чем рассмотренный ранее механизм блокировки меток во временных сетях.
Временные сети событий (ВСС)
ВСС=(Р,Т,Е) – связный биограф, где Р – конечное непустое множество позиций событий, Т – конечное непустое множество переходов, Е - отображение вида Т>Ф(Р); Ф(Р) – множество всех подмножеств Р. Позиции сети ,  отображают в модели все основные состояния процессов. Переходы ,  соответствуют событиям. Отображение  находит все смежные с tj позиции из множества Р. Состояние ВСС определяется маркировкой позиций , М:Р>N – функция маркировки,  - разметка сети. Применяемые в ВСС метки имеют атрибуты: - вектор атрибутов метки в позиции . Значения некоторых атрибутов могут быть функциями времени. Например, если позиция  моделирует в сети состояние “Идёт обработка детали”, то атрибут  в списке атрибутов метки  может означать время, оставшееся до конца обработки.
Как правило, . Равенству соответствует тот факт, что состояние  некоторого процесса в системе, представленного в модели некоторым элементарным высказыванием, реализовалось. Если , то наиболее простыми интерпретациями в этом случае являются состояния, возникающие при накоплении объектов, участвующих в процессе. Важно указать, что при  необходимо упорядочивать множество меток в позиции. Например, если  моделирует стек или очередь, то метки в позиции упорядочиваются линейно.

Механизм изменения состояний ВСС связан с выполнением переходов . Каждый переход можно записать в виде тройки . Здесь - условия возбуждения,  - схема выполнения,  - процедура перехода. Условие возбуждения  - это предикат, определённый на множестве позиций из , истинный только в том случае, когда реализуется некоторая заданная разметка позиций множества . Кроме того, условие возбуждения, может включать ещё проверку значений атрибутов меток. Если значение какого-то атрибута является функцией времени, то обеспечивается соответствующая значению данной функции времени задержка. Схема выполнения определяет изменение разметки позиций сети при срабатывании перехода.