Прообразом положения
P
7
является ИТВ, прообразом положения
P
9
— система оценки импорта (СОи). Эти компоненты модели связаны
между собой, поэтому вначале попытаемся нормализовать ситуациюс
одной из компонент, а другуюрассмотрим позже. Компонента СОи по
входу связана с одним оператором ОПи, а по выходу — с двумя опе-
раторами ОПРи и ОПи. Имеется связь между ИТВ и СОи по входу,
но она предполагает, что оценки необходимых действий по импорту
выполняются без участия специальных средств. На самом деле это
не так. В процессе импорта задействованы специализированные сред-
ства СУБД, использование которых не отражено. В связи с этим в
операторнуюмодель (см. рис. 1) необходимо добавить дополнитель-
ный оператор ОСОи между ИТВ и СОи, а в модель на основе сети
Петри добавим соответствующий переход
t
12
.
Прообразом положения
P
11
является система оценки нормализации
(СОн) таблиц РБД. Компонента СОн по входу связана с одним опе-
ратором ОПн, а по выходу — с двумя операторами ОПРн и ОПн. Это
и нарушает потоковое равновесие, а СОн связана по входу непосред-
ственно с РБД. Если бы они были связаны посредством оператора, то
фрагмент модели, связанной с СОн, не привносил бы отрицательную
составляющую в устойчивость сети. Действительно, в операторной
модели ошибочно отражено состояние процесса оценки соответствия
таблиц РБД нормальным формам. Это, безусловно, действие и даже
система действий, которая в операторной модели должна быть отра-
жена хотя бы одним оператором. В связи с этим в операторнуюмодель
(см. рис. 1) добавим оператор ОСОн, а в модель, полученную на осно-
ве сети Петри, — соответствующий переход
t
13
.
В результате выполнения модификаций получим сеть Петри, при-
веденнуюна рис. 3.
Несмотря на выявление и исключение теперь уже очевидных оши-
бок, полной уверенности в том, что полученная сеть стала устойчивой,
нет. Дело в том, что в сеть добавлены три новых перехода. Тем самым
изменено потоковое назначение сети не только для рассмотренных
положений, но и для положений, связанных с ними через переходы.
Автором выполнена серия итераций исключения противоречий в
моделях. Конечный результат отражен на рис. 4.
В результате выполненных преобразований исходной сети Петри
получена устойчивая сеть. Функционирование такой сети не приве-
дет к коллизиям перемещения информационных потоков. Поскольку
полученная сеть соответствует операторной модели (рис. 5), то мо-
дель методики преобразования ИТВ к РБД является устойчивой, что
исключает ошибки в методике, связанные с нарушением баланса ин-
формационных потоков, на ранних этапах ее разработки и реализации.
108 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2008. № 2
