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

«Теория вычислительных процессов»
Вариант № 7
Часть 1. Тема
«Доказательство правильности методом индуктивных утверждений»
1. Для данной задачи составить блок-схему и доказать ее правильность методом индуктивных утверждений.
2. Для данной задачи написать программу на языке высокого уровня и доказать ее правильность. Доказательство проводить методом индуктивных утверждений, включая индуктивные утверждения в текст программы в виде комментариев.

Для матрицы AMN найти сумму наименьших элементов строк

Часть 2. Тема
«Основные понятия сетей Петри. Анализ сетей Петри»

Для предлагаемой сети Петри, заданной в виде двудольного ориентированного мультиграфа, выполнить следующее:
1) определить сеть Петри в виде C = (P, T, I, O);
2) определить расширенные входную и выходную функцию;
3) определить мультиграф в виде G = (V, A);
4) нарисовать граф инверсной сети Петри и описать ее как C = (P, T, I, O);
5) нарисовать граф двойственной сети Петри и описать ее как C = (P, T, I, O);
6) выполнить сеть Петри, записав последовательность переходов  = tj1, …, tjk и последовательность маркировок 0, …, k ;
7) построить дерево достижимости и определить тип всех его вершин;
8) по дереву достижимости проверить свойства сети Петри: является ли она
а) безопасной, б) ограниченной, в) активной, г) строго сохраняющей;
9) для матричного представления сети Петри определить
матрицы D–, D+, D и вектор запусков последовательности f() для  из п.6.
Вычислить µ΄= µ0 + f (σ)•D.