Материал: Орещенко Николай 8391 Практика5

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

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

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

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

Кафедра АПУ

отчет

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

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

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

Вариант № 13

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

2021

Цель работы

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

Вариант

Предприятие П1 со своего склада S1 отгружает партии сырья на предприятия П2, П3 и П4.

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

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

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

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

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

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

Позиция 1 – Готов выдать распоряжение на поставку новой партии сырья

Позиция 2 – Распоряжение выдано на П2

Позиция 3 – Распоряжение выдано на П3

Позиция 4 – Распоряжение выдано на П4

Позиция 5 – Товар отправлен на П2

Позиция 6 – Товар отправлен на П3

Позиция 7 – Товар переработан на П2

Позиция 8 – Товар переработан на П3

Позиция 9 – Товар отгружен на склад готовой продукции S2

Позиция 10 – Товар отгружен на склад готовой продукции S3

Позиция 11 – Товар поставлен на П1

Позиция 12 – Товар собран на П1

Позиция 13 – Товар оттестирован на П1

Позиция 14 – Отправлен на П4

Позиция 15 – Упаковка произведена на П4

Позиция 16 – Товар упакован на П1

Позиция 17 – Отгружено потребителю в упаковке

Переход 1 – Выдача распоряжения на поставку на П2

Переход 2 – Выдача распоряжения на поставку на П3

Переход 3 – Выдача распоряжения на поставку на П4

Переход 4 – Отправляем сырье на П2

Переход 5 – Отправляем сырье на П3

Переход 6 – Перерабатываем сырье в П2

Переход 7 – Перерабатываем сырье в П3

Переход 8 – Отгружаем товар на склад готовой продукции S2

Переход 9 – Отгружаем товар на склад готовой продукции S3

Переход 10 – Поставляем товар с П2 на П1

Переход 11 – Поставляем товар с П3 на П1

Переход 12 – Собираем товар на П1

Переход 13 – Тестируем товар

Переход 14 – Отправляем на П4

Переход 15 – Производим упаковку

Переход 16 – Поставляем упаковку с П4 на п1

Переход 17 – Упаковываем товар

Переход 18 – Отгружаем потребителю товар в упаковке

Переход 19 – Готовимся к выдаче нового распоряжения

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

На рисунке 2 приведен граф достижимости для нашей сети.

Рисунок 2.Граф достижимости

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

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

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

Вывод

Выполнив практическую работу, мы научились строить сеть Петри в программе PetriNetWork. Была построен граф достижимости средствами PetriNetWork. Также были получены свойства сети.