ОТЧЕТ ПО ЛАБОРАТОРНОЙ РАБОТЕ. Содержание работы

МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ
Федеральное государственное бюджетное образовательное учреждение высшего образования
«Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева»
Институт информатики и телекоммуникаций
Кафедра информационно-управляющих систем

ОТЧЕТ ПО ЛАБОРАТОРНОЙ РАБОТЕ

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

Руководитель Михайлов А.С.

подпись, дата инициалы, фамилия

ОбучающийсяБПА17-01 Симонова И.А.

номер группы, зачетной книжки подпись, дата инициалы, фамилия

Красноярск 2020 г.

Цель работы:

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

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

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

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

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

1) Изучить теоретический материал по учебнику [1], [2] или лекциям. Получить свой вариант задания

2) Составить программу, моделирующую изменение маркировок и построение свободного языка обыкновенной сети Петри.

3) Для заданного варианта задания:

1. Составить список позиций и переходов, матрицы инцидентности F(p,t) и F(t,p) и начальную маркировку для указанного варианта схемы СП.

2. Для начальной маркировки PN, указанной в таблице, составить дерево разметок на глубину до 5 шагов или до общего числа маркировок, равного 100. При обнаружении повторяющихся маркировок они помечаются значками Mp_i, где i - номер обнаруженной повторяющейся маркировки, а построение дерева продолжается только из одной из них. Циклические маркировки, т.е. повторяющиеся на одном пути в дереве, обозначаются Mc_i. Тупиковые маркировки обозначаются Mt_i.

3. Выписать все полученные слова свободного языка PN, начиная с пустого слова. Аналогично п.2 указать повторения, циклы и тупики.

4. Оценить свойства PN: ограниченность, консервативность, безопасность, живость.

12 Следующая ⇒