Контрольная работа по предмету "ТЕОРИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ"

Постановка задачи к контрольной работе

Основная тема : " Сети Петри в экономике"

1) Разработать алгоритм и составить программу, моделирующую функционирование сети Петри.

2) Составить контрольный пример для моделирования информационных систем предметной области, указанной в варианте, содержащий:

А) граф сети Петри;

Б) матрицу входов и выходов, начальную разметку сети;

В) используя матричный подход, выявить разрешенные переходы;

Г) реализовать один из возможных переходов в матричном виде;

Д) построить для данной сети дерево переходов, покрывающее и полное покрывающее дерево;

Е) решить проблемы ограниченности и живости данной сети Петри.