Лабораторно-практическая работа №4
Сети Петри. Основные определения. Моделирование систем на основе сетей Петри
Цель работы: Научиться моделировать сети Петри
Задания
1. Постройте граф сети Петри для следующей структуры сети Петри: Р = {p1, p2, p3, p4}, Т = {t1, t2, t3, t4, t5},
2. Для структуры сети Петри: С =(Р, Т, I, О),
Р = {p1, p2, p3, p4, p5)},
Т = {t1, t2, t3, t4},

3. Промоделируйте вычислительную систему с тремя процессами и четырьмя ресурсами:
стример (устройство ввода с магнитной ленты),
печатающее устройство,
диск
два раздела памяти.
Любой процесс может попасть в любой раздел. Использование ресурсов тремя процессами состоит в следующем:
а) процесс 1 запрашивает стример и печатающее устройство, а затем освобождает оба эти ресурса;
б) процесс 2 запрашивает стример и диск, а затем освобождает стример, запрашивает печатающее устройство и, в конце концов, освобождает и печатающее устройство, и диск;
в) процесс 3 требует все три ресурса одновременно, и затем их освобождает.
4. Постройте деревья достижимости для маркированной сети Петри представленной заданием 3.