Решение этой задачи позволит определить подмножество модулей, применимых при заданных входных моделях
(соответствующих маркировкам M) либо применяемых для получения указанных выходных моделей (соответствующих маркировкам M').
Таким образом, выделенное подмножество модулей составит ядро прикладной САПР, предназначенной для решения задач вида: "по множеству моделей из M получить модели из M'", а также задач
1-5 из приведенного списка на выделенном подмножестве Т.
При рассмотрении сценариев в виде сетей Петри с позициями, нагруженными индикаторами - функциями при решении задач проектировщика следует учитывать значение индикаторов.
Замечание. Если количество выходных моделей модуля варьируется в зависимости от входных моделей, то описание этого сценария проекта в виде сети Петри выполнится так.
1. Строится сеть Петри в соответствии изложенным выше.
2. а) Вводимые переходов символизируют выбор вариантов.
б) Каждый из переходов имеет выходные позиции, соответствующие выходным моделям выбранного варианта. Кратность этих позиций в выходном комплекте перехода равна степени полувыхода вершины, соответствующей позиции в модельном графе G.
Рассмотренный подход позволяет отобразить сценарий САПР с произвольным числом входных и выходных моделей каждого модуля с языка графов на язык сетей Петри и использовать мощный математический аппарат сетей Петри для решения задач интеллектуального проектировщика.
2.4 Построение и использование сокращенного графа достижимости для решения задач интеллектуального проектировщика.
Для решения перечисленных выше задач используется граф достижимости. Граф достижимости сети Петри представляет собой множество достижимости сети Петри.
Определение 5. Сокращенным графом достижимости G=<V,U> для сети Петри С=<P,T,I,O> с маркировкой Mo назовем граф, в котором с вершинами связываются маркировки, а с дугами - множество переходов. Построение сокращенного графа достижимости происходит по приведенному ниже алгоритму.
Рассмотрим алгоритм построения сокращенного графа достижимости сети Петри С=<P,T,I,O> с маркировкой Mo.
Каждая вершина сокращенного графа достижимости связывается с маркировкой M[i] ; в маркировке число фишек может быть неотрицательным целым числом. Каждая вершина классифицируется или как граничная, или как терминальная вершина, или как внутренняя.
Граничными вершинами являются вершины, которые еще не обработаны алгоритмом. Терминальными - вершины, обработанные алгоритмом и в сети Петри с данной маркировкой невозможны никакие переходы. Внутренними - вершины, обработанные алгоритмом и в сети Петри с данной маркировкой возможны переходы.
Алгоритм превращает граничные вершины во внутренние и терминальные. Граничные вершины делятся на два класса: граничные вершины с конфликтом и граничные вершины без конфликта.
Граничная вершина i является граничной вершиной с конфликтом если в маркировке M[i] существует Mj[i]>0 ( число фишек в позиции j больше нуля ) и число дуг , исходящих из позиции j, больше, чем число дуг , входящих в позицию j. В
противном случае граничная вершина является граничной вершиной без конфликта. Число конфликтов в позиции j определяется числом сочетаний . В сценарии системы, допускающем несколько выходных модулей, будут присутствовать конфликтные вершины двух типов. Вершины первого типа содержат " конфликт ", разрешение которого заключается в выборе сценария проекта.
В различных проектах модель может быть входной для разного вида и числа модулей. Сеть сценария проекта не содержит конфликтных вершин первого рода, т.к. строится с учетом степени полувыхода вершины в модельном графе G, что отражено в кратности позиции pi во входных и выходных функциях переходов. При объединении сценариев проектов в сценарий САПР возникает ситуация, при которой из вершины pj
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.