2. Практическая часть
Лабораторное задание
1. Выбрать структуру СП в соответствии с номером варианта из таблицы 1.
2. Описать заданную СП с помощью матриц F, H, 0.
3. Провести исследование СП на основе матричных методов. Сделать заключение о живости и безопасности сети.
4. Провести исследование СП путем построения дерева достижимых разметок (ДДР). Построить ДДР и выделить вершины, которые свидетельствуют об отсутствии свойств живости или безопасности в исследуемой сети.
5. Построить ДДР с использованием программного комплекса. Сравнить полученные результаты пунктов 4 и 5.
6. На основе проведенных исследований оценить корректность СП и предложить варианты устранения недостатков в случае их обнаружения. При устранении недостатков допустимо ограниченно добавлять или убирать дуги, связывающие вершины сети. Полученная в результате модификаций СП должна отвечать требованиям живости и безопасности.
7. Провести исследование полученной сети с помощью матричных методов и ДДР.
8. Сравнить изученные способы анализа СП и сформулировать методику их совместного использования для исследования СП сложных систем.
Порядок выполнения
1. Сруктура сп в соответствии с номером варианта 17.
В соответствии с вариантом выбрана сети Петри и заданы идентификаторы, входящих в нее позиций и переходов.
Рисунок 2 – Пронумерованная сеть Петри
2. Описание заданной модели с помощью матрицы f, н, µ0.
Матрица F имеет размерность n x m, где m и n – мощности множеств Р и Т, и задает дуги, выходящие из позиций и входящие в переходы. Полученная матрица F приведена в таблице 2.
Таблица 2 – Матрица F
F |
Т1 |
Т2 |
Т3 |
Т4 |
Т5 |
Р1 |
1 |
0 |
0 |
0 |
0 |
Р2 |
0 |
1 |
0 |
0 |
0 |
Р3 |
0 |
0 |
1 |
0 |
0 |
Р4 |
0 |
0 |
0 |
1 |
0 |
Р5 |
0 |
1 |
0 |
1 |
0 |
Р6 |
0 |
0 |
0 |
0 |
1 |
Матрица H имеет размерность m x n и задает дуги, выходящие из переходов и входящие в позиции. Полученная матрица H приведена в таблице 3.
Таблица 3 – Матрица H
H |
P1 |
P2 |
P3 |
P4 |
P5 |
P6 |
Т1 |
0 |
1 |
1 |
1 |
0 |
0 |
Т2 |
1 |
0 |
0 |
0 |
0 |
0 |
Т3 |
0 |
0 |
0 |
0 |
1 |
0 |
Т4 |
0 |
0 |
0 |
0 |
0 |
1 |
Т5 |
1 |
0 |
0 |
0 |
0 |
0 |
Начальная разметка в сетях Петри – это распределение меток по позициям сети в начальный момент времени. Она определяет начальное состояние сети Петри. Начальная разметка сети Петри, представленной на рис.2, имеет следующий вид: µ0 = (1 0 0 0 0 0).