Теория вычислительных процессов_курсовая (5 семестр) Вариант 2

Задание на курсовой проект

Вариант 2

Исходные данные к курсовому проекту оформляются на типовом бланке задания, подписываются руководителем и выдаются каждому студенту в начале семестра. Варианты заданий (для построения модели систем) приведены ниже:

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

2. Представить задачу 1 об обедающих философах для случая, когда левую и праву вилки берут поочередно.

3. Представить модель задачи 2 для случая, когда за стол приглашают одного из философов, не препятствующему общему поглощению пищи обедающими.

4. Представить модель задачи 3 для случая, когда приглашение к столу необязательные к рассмотрению философом.

5. Построить модель обслуживания процессов в компьютере, который имеет два процессора, магнитный диск и принтер.

6. Построить модель взаимодействия трех процессов, из которых один пишет сообщения в буфер, а другие два обрабатывают сообщения и помещают результат в выходной буфер.

7. Представить модель задачи 6 при ограничениях на размер буферов.

8. Представить модель задачи 7 для произвольного заданного числа пишущих и читающих процессов.

9. Построить модель лифта для четырехэтажного дома. Кнопки вызова находятся на каждом этаже.

10. Представить модель задачи 9 с ограничениями на количество пассажиров. 10

11. Построить модель сдачи экзамена группой из четырех студентов одному экзаменатору.

12. Построить модель парикмахерской, в которой работает три парикмахера и есть пять сидячих мест для ожидания клиентов.

13. Представить модель задачи 12 для случая когда клиент, которому не досталось место, может или ожидать стоя, или уйти неподстриженным.

14. Построить модель ядерной реакции, при которой из каждого атома, в который попадает нейтрон, выделяется при распаде восемь нейтронов и образуется новый атом. 

Курсовая работа выполняется с целью закрепления знаний по курсу «Теория вычислительных процессов» и получения практических навыков функционирования сетей Петри.

Основные этапы выполнения работы

1. Построить модель указанного объекта (сеть Петри).

2. Построить граф достижимых маркировок построенной сети Петри.

3. Реализовать алгоритм выполнения сети Петри и алгоритм построения дерева достижимости на любом языке программирования.