що t дозволений в m . Але жоден не є живим, так як при m = m = <0,0,0,0,0,0,0,0,0,0,0,0,1> жоден з переходів не є потенційно живим.
Висновки по роботі
У ході виконання курсової роботи я побудував стандартну схему програми в графовой і лінійної формі. Потім вказав інтерпретацію схеми і протокол виконання програми. Після побудував інваріанти циклів алгоритму та обмеження циклів. Потім довела, що програма, вирішальна завдання знаходження максимуму серед сум елементів діагоналей, паралельних головній діагоналі целочисленной матриці, робить те, що необхідно і при цьому закінчує свою роботу. Потім на підставі стандартної схеми програми була побудована мережа Петрі, і на основі дерева досяжності були досліджені її властивості. p align="justify"> З аналізу мережі Петрі можна укласти, що вона є:
В· безпечної
В· обмеженою
В· сохраняемой
В· кожен її перехід є потенційно живим.
Список літератури
1. Рабинович Є.В. Курс лекцій.
2. Рабинович Є.В. Теорія обчислювальних процесів: Навчальний посібник/СібГУТІ. - Новосибірськ, 2004. - 119стор.
