Теория вычислительных процессов

1. Цель выполнения курсовой работы

Изучить основные элементы сетей Петри, правила функционирования

сети, освоить методику построения моделей параллельных процессов и систем.

Изучить способы анализа сетей Петри, реализовать алгоритм выполнения сети

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

Курсовая работа выполняется с целью закрепления знаний по курсу

«Теория вычислительных процессов» и получения практических навыков

функционирования сетей Петри.

Задачами курсовой работы является:

1. Изучить основные понятия:

- структура сети Петри и способы еѐ задания;

- маркировка, выполнение сети Петри, множество достижимости.

2. Изучить основные свойства сетей Петри:

- ограниченность;

- безопасность;

- сохраняемость;

- активность;

- достижимость;

- покрываемость.

3. Изучить способы анализа сетей Петри.

2. Порядок выполнения курсовой работы

Для выполнения курсовой работы необходимо знать основные элементы

сетей Петри: позиция, переход, дуга, фишка, а также правила срабатывания

переходов сети; представление последовательных, конвейерных,

альтернативных, параллельных процессов, потребляемых, возобновляемых и

частично-потребляемых ресурсов, динамику сети с кратными дугами.

Сеть Петри N является четверкой N=(P,Т,I,O), где

P = {p1, p2,..., pn} – конечное множество позиций, n  0;

T = {t1, t2,..., tm} – конечное множество переходов, m  0;

I: T  P* – входная функция, сопоставляющая переходу

мультимножество его входных позиций;

О: T  P* – выходная функция, сопоставляющая переходу

мультимножество его выходных позиций.

Позиция pP называется входом для перехода tT, если pI(t). Позиция

pP называется выходом для перехода tT, если pO(t). Структура сети Петри

определяется ее позициями, переходами, входной и выходной функциями.

Использование мультимножеств входных и выходных позиций перехода,

а не множеств, позволяет позиции быть кратным входом и кратным выходом

перехода соответственно. При этом кратность определяется числом

экземпляров позиции в соответствующем мультимножестве