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