Практическое занятие №7.
1. Процесс представляет собой проведение экзамена для группы из 15 человек. В аудитории имеется 6 мест. Экзаменатор принимает экзамен одномоментно только у одного студента. В результате студент может получить дополнительный вопрос и опять уйти на подготовку или завершить экзамен, выйдя из аудитории и освободив место для следующего экзаменуемого.
Составить модель в виде сети Петри описанного процесса.
События:
t1 – вход студента в аудиторию;
t2– начало ответа;
t3– завершение ответа;
t4– выход из аудитории;
t5– получение дополнительного вопроса.
Условия:
P1 – имеются студенты, ожидающие в очереди;
P2– имеются свободные места в аудитории;
P3– студенты готовятся к ответу;
P4– преподаватель свободен;
P5– студент отвечает;
P6– студент закончил ответ.
2. Имеется двухпроцессорный компьютер, который ведет обработку набора записей. При обработке поиск записи осуществляется с помощью первого процессора, а соответствующая обработка найденной записи – с использованием второго. Если очередная запись найдена, но второй процессор не закончил обработку предыдущей записи, то работа первого приостанавливается, ожидая возможности передачи данных.
Составить модель в виде сети Петри описанного процесса.
События:
t0 – запрос на поиск записи извне;
t1 – начало поиска записи;
t2– завершение поиска записи;
t3– передача найденной записи;
t4– начало обработки записи;
t5– завершение обработки записи;
Условия:
P1 – имеется запрос;
P2– идет поиск записи;
P3– запись найдена;
P4– запись передана второму процессору;
P5– запись обрабатывается;
P6– процесс обработки завершен;
P7– первый процессор свободен;
P8 – второй процессор свободен;
Домашнее задание:
2. Имеется двухпроцессорный компьютер, который ведет обработку набора записей. При обработке поиск записи осуществляется с помощью первого процессора, а соответствующая обработка найденной записи – с использованием второго. Если очередная запись найдена, но второй процессор не закончил обработку предыдущей записи, то работа первого приостанавливается, ожидая возможности передачи данных. Между процессорами буфер обмена на 2 записи.
Составить модель в виде сети Петри описанного процесса.