Для матрицы 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 = t_j1, …, t_jk и последовательность маркировок m⁰, …, m^k;

7) построить дерево достижимости и определить тип всех его вершин;

8) по дереву достижимости проверить свойства сети Петри: является ли она

а) безопасной, б) ограниченной, в) активной, г) строго сохраняющей;

9) для матричного представления сети Петри определить

матрицы D^–, D⁺, D и вектор запусков последовательности f(s) для s из п.6.

Вычислить µ΄= µ⁰ + f (σ)·D.

Информация для ЗФ-827 по ТВП

Задание для КОНТРОЛЬНОЙ РАБОТЫ Вариант № 10

Часть 1. Тема
«Доказательство правильности методом индуктивных утверждений»

1. Для данной задачи составить блок-схему и доказать ее правильность методом индуктивных утверждений.

2. Для данной задачи написать программу на языке высокого уровня и доказать ее правильность. Доказательство проводить методом индуктивных утверждений, включая индуктивные утверждения в текст программы в виде комментариев.

Date: 2016-05-15; view: 504; Нарушение авторских прав