Полезное:
Как сделать разговор полезным и приятным
Как сделать объемную звезду своими руками
Как сделать то, что делать не хочется?
Как сделать погремушку
Как сделать так чтобы женщины сами знакомились с вами
Как сделать идею коммерческой
Как сделать хорошую растяжку ног?
Как сделать наш разум здоровым?
Как сделать, чтобы люди обманывали меньше
Вопрос 4. Как сделать так, чтобы вас уважали и ценили?
Как сделать лучше себе и другим людям
Как сделать свидание интересным?
Категории:
АрхитектураАстрономияБиологияГеографияГеологияИнформатикаИскусствоИсторияКулинарияКультураМаркетингМатематикаМедицинаМенеджментОхрана трудаПравоПроизводствоПсихологияРелигияСоциологияСпортТехникаФизикаФилософияХимияЭкологияЭкономикаЭлектроника
|
Для матрицы 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) выполнить сеть Петри, записав последовательность переходов s = tj1, …, tjk и последовательность маркировок m0, …, mk; 7) построить дерево достижимости и определить тип всех его вершин; 8) по дереву достижимости проверить свойства сети Петри: является ли она а) безопасной, б) ограниченной, в) активной, г) строго сохраняющей; 9) для матричного представления сети Петри определить матрицы D–, D+, D и вектор запусков последовательности f(s) для s из п.6. Вычислить µ΄= µ0 + f (σ)·D
Информация для ЗФ-827 по ТВП
Задание для КОНТРОЛЬНОЙ РАБОТЫ Вариант № 20 Часть 1. Тема 1. Для данной задачи составить блок-схему и доказать ее правильность методом индуктивных утверждений. 2. Для данной задачи написать программу на языке высокого уровня и доказать ее правильность. Доказательство проводить методом индуктивных утверждений, включая индуктивные утверждения в текст программы в виде комментариев.
|