Создан заказ №46817
7 сентября 2013
Теория вычислительных процессов
Как заказчик описал требования к работе:
Часть 1. Тема
«Доказательство правильности методом индуктивных утверждений»
1. Для данной задачи составить блок-схему и доказать ее правильность методом индуктивных утверждений.
2. Для данной задачи написать программу на языке высокого уровня и доказать ее правильность. Доказательство проводить м
етодом индуктивных утверждений, включая индуктивные утверждения в текст программы в виде комментариев.
Для матрицы AMN найти сумму наименьших элементов строк
Часть 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 дней
Заказчик принял работу без использования гарантии
8 сентября 2013
Заказ завершен, заказчик получил финальный файл с работой
5
Теория вычислительных процессов.docx
2018-04-24 21:52
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Заказывала работу. Сроки поджимали, голова квадратная. Все сделано на отлично, быстро, с комментариями) Сомневалась, но потом была не была заказала и не ошиблась. Спасибо* Всем советую)
Хочешь такую же работу?
300 ₽
