УТС 6 семестр / ПР5 вар11 МОДЕЛИРОВАНИЕ ДИНАМИКИ СИСТЕМ ВЗАИМОДЕЙСТВУЮЩИХ ПРОЦЕССОВ С ПОМОЩЬЮ СЕТЕЙ ПЕТРИ

МИНОБРНАУКИ РОССИИ

Санкт-Петербургский государственный

электротехнический университет

«ЛЭТИ» им. В.И. Ульянова (Ленина)

Кафедра АПУ

отчет

по практической работе №5

по дисциплине «Программирование систем реального времени»

Тема: Моделирование динамики систем взаимодействующих процессов с помощью сетей Петри.

Вариант № 11

Студент гр. 8391		Маликов А.А.
Преподаватель		Писарев А.С.

Санкт-Петербург

2021

Цель работы

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

Вариант

Вариант 11

Предприятие П1 заключило договора с предприятиями П2, П3 и П4 на совместное производство продукции. При этом сырье поставляется предприятием П1 на все предприятия. Предприятие П2 изготавливает комплектующие первого типа и отгружает на склад предприятия П1. Предприятия П3 и П4 передают свою продукцию в подразделение S1 предприятия П1 для сборки и тестирования. Протестированные комплектующие передаются также на склад предприятия П1. Подразделение S2 предприятия П1 забирает комплектующие со склада, собирает готовую продукцию и отгружает потребителям, после чего передается указание складу сырья на отгрузку новой партии сырья на предприятия-подрядчики.

Выполнение практической работы

1.Построение сети Петри по описанию действий.

На рис.1 представлена сеть Петри, построенная в программе PetriNetWork.

Рисунок 1. Сеть Петри

Описание позиций и переходов:

Позиция 1 – Предприятие П1 готово к поставке сырья

Позиция 2 – Предприятие П2 получило сырье

Позиция 3 – Предприятие П3 получило сырье

Позиция 4 – Предприятие П3 получило сырье

Позиция 5 – Деталь Д1 готова и готова к отгрузке

Позиция 6 – Подразделение S1 получило детали Д3 и Д4

Позиция 7 – Детали Д3 и Д4 протестированы

Позиция 8 – Склад П1 получил все детали

Позиция 9 – Подразделение S2 получило все детали

Позиция 10 – Сборка отправлена потребителям

Переход 1 – Предприятие П1 поставляет сырье на предприятие П2

Переход 2 – Предприятие П1 поставляет сырье на предприятие П3

Переход 3 – Предприятие П1 поставляет сырье на предприятие П4

Переход 4 – Предприятие П2 изготовило деталь Д1

Переход 5 – Предприятие П3 передает деталь Д3 подразделению S1

Переход 6 – Предприятие П4 передает деталь Д4 подразделению S1

Переход 7 – Деталь Д1 отгружается на склад П1

Переход 8 – Детали Д3 и Д4 тестируются

Переход 9 – Детали Д3 и Д4 отгружаются на склад П1

Переход 10 – Склад П1 передает все детали подразделению S2

Переход 11 – Подразделение S2 собирает детали в сборку

Переход 12 – Подразделение S2 дает указание П1 на поставку новой партии сырья

2. Построение графа достижимости.

В ходе построения графа достижимости возникли сложности: программа вылетает и не дает нормально построить граф. Это связано с тем, что программа выпущена очень давно и никак не поддерживалась все это время. Все данные были проверены, следовательно проблема именно в несовершенстве программы

3. Определение свойств сети Петри.

На рисунке 2 приведены свойства сети, полученные автоматически.

Рисунок 2.Свойства сети

Вывод

Выполнив практическую работу, мы научились строить сеть Петри в программе PetriNetWork. Построив граф и проанализировав систему, можно сказать, что получившаяся система является: безопасной, так как отсутствует зацикливание, обратимой, т.к. есть, направленная к начальной маркировке, живой, т.к. нет тупиковых состояний, правильной, т.к. она является безопасной.