Разработка инструментальных средств создания интеллектуального проектировщика САПР на основе сетей Петри (Диссертация на соискание ученой степени кандидата технических наук), страница 24

Задача моделирования  САПР  может  быть  решена  как задача планирования  для  различных  множеств  начальных   и   конечных маркировок.  Веса  дуг  wj(uj),  полученных в результате решения задачи планирования  объединяются  в  множество.  Это  множество переходов  соответствует  множеству модулей,  которые необходимо включить  в   состав   прикладной   САПР   для   решения   задач проектирования,  определяемых  множествами  начальных и конечных маркировок.

При решении   задач  интеллектуального  проектировщика  для систем с модулями, имеющими произвольное число выходных моделей, зависящих  от  входных  моделей,  реализация выбранного сценария проекта может зависеть от содержания входных  моделей.  Условия, изменяющие     ход    сценария    проекта,    формализованы    в индикаторах-функциях.  Если  не  существует   априорной   оценки значений  этих функций или трудоемкость ее нахождения сравнима с самим    процессом    проектирования,    то     интеллектуальный проектировщик   позволит   выбрать  ряд  сценариев,  дающих  при определенных условиях удовлетворительное решение задачи, то есть ответить на вопрос типа:  " что будет если...?  ". Использование знаний о предметной области позволит установить  ограничения, по крайней мере, на входные модели конфликтного модуля.

Пусть  задана  сеть  Петри  С=<P,T,I,O>   (рис. 2.9).   Где

P={p1,p2,p3,p4,p5,p6,p7,p8,p9,p10,p11,p12,p13,p14};

T={t1,t2,t3,t4,t5,t6,t7,t8,t9,t10,t11};

I(t1)={p1} ;       O(t1)={p2,p2} ;

I(t2)={p2} ;       O(t2)={p3} ;

I(t3)={p2};        O(t3)={p3} ;

I(t4)={p2} ;       O(t4)={p4,p4} ;

I(t5)={p3,p4,p5};  O(t5)={p7} ;

I(t6)={p7}  ;      O(t6)={p8,p9}  ;

I(t7)={p7}  ;      O(t7)={p9,p11}  ;

I(t8)={p8}  ;      O(t8)={p13}  ;

I(t9)={p4,p9,p10}; O(t9)={p11}  ;

I(t10)={p11,p14} ; O(t10)={p12} ;

I(t11)={p2} ;      O(t11)={p14}.

В этой  сети  модуль,   представленный   переходом   t5   в зависимости от входных моделей p3,p4,p6 получает выходные модели

p8,p9, если f(t5,p3,p4,p6)=f1, что символизирует переход t6, или модели p9,p10, при f(t5,p3,p4,p6)=f2, отображаемая переходом t7.

Имеем следующее множество начальных маркировок : Mn1={p1,p5,p6};

Mn2={p2,p5,p6}; Mn3={p3,р5,p6}.

Естественно предположить,  что позиция  p7  не  может  быть включена   в   начальную   маркировку,   так  как  физически  не соответствует ни одной из моделей.

Граф достижимости   для   множества   начальных  маркировок приведен  на  рис.  2.10.  Пусть  требуется   получить   модель, соответствующую  позиции  p11 по моделям p3 и p4.  В сокращенном графе достижимости системы позицию p11 содержат  вершины  v15  и

v16,  а входные модели v6,v7,v9,v12.  Проверив условия включения

(1),  можно сделать вывод,что они не выполняются. Следовательно, множество входных моделей неполно. Вычислением мощности множеств

,    определим,  что условиям минимума удовлетворяют  вершины

v7  и  v16.  Вершину  v9 не рассматриваем,  так как она содержит конфликтную вершину второго типа.  Определенные  входные  модели составят  множество:  {p3,p4,p6}.  Полученный  проект  реализует цепочка модулей:  t5,  t7, t9, при этом функция должна принимать значение  f(t5,p3,p4,p6)=f2,  то есть должен выполняться переход

t7. Легко  определить  данные,  сохраняемые  на   каждом   этапе проектирования:  1-й этап(t5)-{p3,2p4,p6}; 2-й этап(t7)-{p4,p7};

3-й этап(t9)-{p4,p9,p10}.

Разработка и  включение  в  состав  САПР интеллектуального проектировщика  позволяют  существенно  упростить  использование

САПР с   точки   зрения   пользователя.   Пользователь  получает возможность в непроцедурной постановке ставить и  решать  задачи планирования. При  этом  нет  необходимости  помнить связь между моделями данных и  программными  модулями.  Описание  моделей  и модулей на  языке  предметной области снижает уровень подготовки пользователя, т.к.  не требует знания  входного  языка  пакетов.