Шифр 03 Лабораторная работа 04 |
300,00 ₽
Просмотров: 712
|
Тип работы: | Лабораторная работа |
Название предмета: | Теория вычислительных процессов |
Тема/вариант: | Шифр 03 Лабораторная работа 04 |
Объем работы: | 4 |
ВУЗ: | СибГУТИ |
Дата выполнения: | 2013-09-01 |
Размер файла, тип файла: | 15.53 Kb, , DOC |
Прикрепленные файлы: |
Курс 252 (447 Kb)
|
Лабораторно-практическая работа №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.
Сообщить другу