Схемы систем к лабораторной работе № 4
А
Б
В
Г
Д
Л абораторная работа № 5 Моделирование систем с помощью обыкновенных сетей Петри
Цели работы
Освоить основные формализмы обыкновенных сетей Петри (PN).
Научиться составлять формальное описание PN.
Разработать программу моделирования динамики маркировок и составления слов свободного языка обыкновенных сетей Петри.
Провести исследования заданной сети с помощью разработанной программы.
Содержание работы
1. Изучить теоретический материал по пособию, лекциям или другим источникам.
2. Составить программу, моделирующую изменение маркировок и построение свободного языка обыкновенной сети Петри.
3. Для заданного варианта задания:
1) Составить список позиций и переходов, матрицы инцидентности F(p,t) и F(t,p) и начальную маркировку для указанного варианта схемы СП.
2) Для начальной маркировки PN, указанной в таблице, составить дерево разметок на глубину до 5 шагов или до общего числа маркировок, равного 100. При обнаружении повторяющихся маркировок они помечаются значками Mpi, где i - номер обнаруженной повторяющейся маркировки, а построение дерева продолжается только из одной из них. Циклические маркировки, т.е. повторяющиеся на одном пути в дереве, обозначаются Mci. Тупиковые маркировки обозначаются Mti.
3) Выписать все полученные слова свободного языка PN, начиная с пустого слова. Аналогично п.2 указать повторения, циклы и тупики.
4) Оценить свойства PN: ограниченность, консервативность, безопасность, живость.
Оформление работы
Оформленный отчет по лабораторной работе должен содержать:
- титульный лист с указанием группы, фамилии исполнителя и номера варианта;
- исходную схему с начальной маркировкой;
- матрицы инцидентности;
- дерево маркировок;
- словарь свободного языка PN;
- анализ свойств рассматриваемой PN;
- листинг программы.
Таблица 5.1
№ вари-анта |
№ схемы |
Начальная маркировка M0 |
|||||
1 |
2 |
3 |
4 |
5 |
6 |
||
1 |
А |
1 |
2 |
0 |
1 |
1 |
2 |
2 |
Б |
2 |
1 |
0 |
0 |
1 |
1 |
3 |
В |
1 |
1 |
1 |
0 |
2 |
2 |
4 |
Г |
1 |
2 |
0 |
1 |
1 |
2 |
5 |
Д |
1 |
1 |
1 |
0 |
2 |
2 |
6 |
А |
1 |
1 |
2 |
1 |
1 |
0 |
7 |
Б |
1 |
2 |
1 |
1 |
0 |
0 |
8 |
В |
1 |
3 |
1 |
1 |
1 |
1 |
9 |
Г |
0 |
3 |
1 |
1 |
1 |
3 |
10 |
Д |
2 |
2 |
0 |
0 |
1 |
1 |
11 |
А |
1 |
1 |
0 |
0 |
1 |
1 |
12 |
Б |
0 |
1 |
0 |
0 |
1 |
1 |
13 |
В |
0 |
2 |
1 |
0 |
0 |
1 |
14 |
Г |
1 |
1 |
0 |
0 |
1 |
0 |
15 |
Д |
0 |
0 |
2 |
1 |
1 |
2 |
16 |
А |
2 |
1 |
1 |
1 |
1 |
2 |
17 |
Б |
2 |
2 |
1 |
1 |
0 |
1 |
18 |
В |
2 |
2 |
2 |
1 |
1 |
1 |
19 |
Г |
2 |
1 |
1 |
1 |
1 |
0 |
20 |
Д |
1 |
2 |
1 |
1 |
1 |
0 |