Схемы систем к лабораторной работе № 4

А

Б

В

Г

Д

Лабораторная работа № 5 Моделирование систем с помощью обыкновенных сетей Петри

Цели работы

1. Освоить основные формализмы обыкновенных сетей Петри (PN)

2. Научиться составлять формальное описание PN.

3. Разработать программу моделирования динамики маркировок и составления слов свободного языка обыкновенных сетей Петри.

4. Провести исследования заданной сети с помощью разработанной программы.

Содержание работы

1. Изучить теоретический материал по пособию (глава 5), лекциям или другим источникам.

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
m1	m2	m3	m4	m5	m6
	А
	Б
	В
	Г
	Д
	А
	Б
	В
	Г
	Д
	А
	Б
	В
	Г
	Д
	А
	Б
	В
	Г
	Д
	А
	Б
	В
	Г
	Д
	А
	Б
	В
	Г
	Д
	А
	Б
	В
	Г
	Д

Схемы сетей Петри к лабораторной работе № 5

А

Б

В

Г

Д

Лабораторная работа № 6 Моделирование систем с помощью GERT-сетей

Цели работы

1. Ознакомиться с методами исследования систем на основе формализмов GERT-сетей

2. Научиться составлять производящие M-функции и передаточные W-функции для GERT- сетей.

3. Освоить методику и составить программу для расчета первого и второго моментов распределения выходной функции GERT –сети.

4. Провести исследования заданной сети с помощью разработанной программы

Содержание работы

1. Изучить теоретический материал по пособию (глава 5, п. 5.4), лекциям или по рекомендованной литературе.

2. Для заданного варианта задания в соответствии с таблицей 6.1 и схемами GERT-сетей для всех дуг GERT-сети составить выражения для - функций и - функций , где i – номер дуги.

3. Путем использования формул для типового соединения дуг написать выражение для передаточной функции всей сети, а затем – для производящей функции выходной величины GERT-сети.

4. Вычислить величины и аналитически или численно.

5. В случае использования численных методов воспользоваться формулами (5.42) из учебного пособия.