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

«Теория вычислительных процессов» Вариант № 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.