ВВЕДЕНИЕ……………………………………………………………………….2
ГЛАВА 1. СУЩНОСТЬ И ПОНЯТИЕ СЕТЕЙ ПЕТРИ………………………4
1.1. О сетях Петри………………………………………………………………..4
1.2. Теория сетей Петри………………………………………………………….7
1.3. Цветные сети Петри………………………………………………………..14
ГЛАВА 2. МАТЕМАТИЧЕСКИЕ МОДЕЛИ С ИСПОЛЬЗОВАНИЕМ СЕТЕЙ ПЕТРИ……………………………………………………………………………20
2.1. Построение динамической модели на основе сети Петри……………….22
2.2. Применение сетевых моделей для описания параллельных процессов…………………………………………………………………………25
ЗАКЛЮЧЕНИЕ…………………………………………………………………..31
СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ………………………………..32
Краткое содержание работы:
ВВЕДЕНИЕ
Сети Петри являются популярным современным формализмом для моделирования и анализа параллельных и распределенных систем.
Вложенные сети Петри представляют собой расширение стандартного формализма сетей Петри, при котором фишки, определяющие разметку сети, сами являются маркированными сетями. Название "вложенные" здесь указывает на то, что элементы сетей сами являются сетями, подобно тому, как в системе вложенных множеств элементами некоторого множества могут быть множества.
Сетевые фишки во вложенной сети моделируют объекты, которые могут иметь самостоятельное поведение, а также взаимодействовать с внешним окружением и между собой. Имеются механизмы синхронизации объекта с системной сетью и двух объектов, находящихся в одной позиции системной сети. Вложенные сети Петри удобны для моделирования распределенных систем с мультиагентной структурой. Вложенная сеть состоит из системной сети и элементных сетей, представляющих агенты. Формализм вложенных сетей позволяет естественным образом выражать основные характеристики агентов. Действительно, автономность и локальность управления агентом, представленным сетевой фишкой, обеспечивается локальностью срабатываний переходов системной сети, поскольку переход в сети Петри может удалять фишки только из своих входных позиций и добавлять только в выходные позиции. Взаимодействие объектов между собой путем совместного выполнения некоторых действий обеспечивается механизмом горизонтальной синхронизации. Реактивность агентов реализуется с помощью вертикальной синзронизации, которая позволяет, в частности, обуславливать выполнение агентом некоторых действий только синхронно с определенными событиями в системной сети, задающей его внешнее окружение. И наконец, инициативность поведения агента обеспечивается возможностью автономных срабатываний переходов в сетевых фишках.
Вложенные сети Петри имеют ясную математическую семантику. Для них разрешимы проблемы останова, покрытия и некоторые другие.
В данной работе определяется расширение формализма вложенных сетей Петри за счет приписывания некоторым переходам дополнительных условий срабатывания — охран. Использование охран позволяет строить более наглядные и компактные модели распределенных систем. Однако, при этом важно сохранить хорошие свойства вложенных сетей Петри, в частности разрешимость для них некоторых важных поведенческих свойств. В работе определены условия, при которых использование охран на переходах сохраняет свойства базовой модели.
Целью курсовой работы является рассмотрение сущности сетей Петри и их применения в математических моделях.
Задачами курсовой работы является:
- рассмотрение общего представления о сетях Петри;
- изучение теории сетей Петри;
- анализ цветных сетей Петри;
- рассмотрение математических моделей с использованием сетей Петри.
Курсовая работа состоит из введения, двух глав, заключения и списка использованной литературы.
В нашей компании вы можете заказать консультацию по любой учебной работе от 300 руб. Оформите заказ, а договор и кассовый чек послужат вам гарантией сохранности ваших средств. Кроме того, вы можете изменить план текущей работы на свой, а наши авторы переработают основное содержание под ваши требования
