6. Содержание отчета:

   1. Наименование работы.

   2. Цель работы.

   3. Схема сети Петри.

   4. Результаты анализа сети Петри с использованием метода построения дерева достижимости.

   5. Рекомендации по модернизации сети Петри.

   6. Ответы на контрольные вопросы.

7. Контрольные вопросы:

   1. Что называется сетью Петри?

   2. Какие параметры необходимо задать для определения сети Петри?

   3. Что подразумевается под живостью, безопасностью, ограниченностью и достижимостью сети Петри?

   4. Что называется деревом достижимых разметок?

   5. Какие этапы входят в алгоритм анализа сети Петри с помощью дерева достижимости разметок?

Лабораторная работа 10 Анализ сети Петри на основе матричных уравнений.

1. Цель работы:

   1. Изучение возможностей применения метода матричных уравнений для анализа сетей Петри

   2. Реализовать метод матричных уравнений применительно к сети Петри

2. Литература:

   1. Молчанов А.Ю. Системное программное обеспечение. – СПб.: Питер, 2006. – 395с.

   2. Свердлов С.З. Языки программирования и методы трансляции. – СПб.: Питер, 2007. – 637с.

   3. Тонаненбаум Э. Компьютерные сети. – СПб.: Питер, 2008 – 991с.

   4. Сырецкий Г.А. Информатика. Фундаментальный курс. Том 1, 2. – Москва, 2005- 234с.

   5. Душин В.К. Теория основных информационных процессов и систем. – Москва, 2009 – 348 с.

   6. Русская компьютерная библиотека. URL: http://www.rusdoc.ru

3. Основное оборудование:

   1. ПЭВМ.

   2. Среда разработки Паскаль, С++, Delphi 7.

4. Задание:

   1. Изучить теоретический материал по теме «Способы реализации и применение сетей Петри».

   2. Выполнить задания.

   3. Составить отчет по работе.

5. Порядок выполнения работы:

   1. Запустить среду разработки.

   2. Выполнить следующие задания:

Теоретические сведения

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

Пусть матрица С, полученная следующим образом:

C=HT-F, где HT - транспонированная матрица H.

Пусть размерность С равна n x m , где m и n - мощности множеств Р и Т .

Матричные уравнения:

y*C=0, (1)

C*x=0, (2)

где у и x - векторы, размерность которых равна n и m соответственно.

Вектор у, удовлетворяющий решению уравнения (1), все элементы которого положительны, называется р-цепью; р-цепь, все элементы которой больше нуля, называется полной р-цепью. Аналогично на основе уравнения (2) определяются понятия t-цепи и полной t-цепи. Сеть Петри, для которой существует полная р-цепь, называется инвариантной. СП, для которой существует полная t-цепь, называется последовательной.

Задание

1. Написать программу построения сети Петри.

C={P,T,I,O}, P={p1,p2,p3,p4,p5,p6,p7,p8,p9}, T={t1,t2,t3,t4,t5,t6};

I(t1)={p1}; I(t2)={p8}; I(t3)={p2,p5}; I(t4)={p3}; I(t5)={p6,p7}; I(t6)={p4,p9}; O(t1)={p2,p3}; O(t2)={p1,p7}; O(t3)={p6}; O(t4)={p4};O(t5)={p9}; O(t6)={p5,p8}.

2. Провести исследование модели сети Петри на основе матричных методов. Сделать заключение о живости и безопасности сети.

3. Провести исследование полученной сети с помощью матричных методов.

4. Сравнить изученные способы анализа СП и сформулировать методику их совместного использования для исследования СП-моделей вычислительных систем.

5. Описать заданную СП-модель с помощью матриц F,H, 0