Создан заказ №46971
8 сентября 2013
Теория вычислительных процессов
Как заказчик описал требования к работе:
Вариант № 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
подробнее
Заказчик
заплатил
заплатил
200 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик принял работу без использования гарантии
9 сентября 2013
Заказ завершен, заказчик получил финальный файл с работой
5
Теория вычислительных процессов.docx
2018-03-11 16:00
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Работа была сделана гораздо раньше срока, в полном объёме. У преподавателя не было не единого вопроса, всё отлично.
Хочешь такую же работу?
300 ₽
