тивного взаимодействия разработчика и системы. Динамические свой-
ства процесса интерактивного проектирования в разрабатываемых мо-
делях отражены посредством последовательности возможных марки-
ровок сети Петри. Однако в моделях предполагалось, что переходы
срабатывают мгновенно, что исключает возможность временн ´ого ана-
лиза интерактивных процессов. Для реализации возможности исследо-
вания временн ´ых характеристик автоматизированной системы проек-
тирования РБД на основе ИТВ использован аппарат временн ´ых сетей
Петри, разработанных для моделирования асинхронных конкурирую-
щих систем [3].
Временн´ая сеть Петри — этопара
Р
, F
, где
Р
— сеть Петри
Р
,
Т
,
М
, а
F
— функция, которая каждому переходу
t
i
в сети при-
писывает действительное неотрицательное число
τ
i
. Число
τ
i
=
F
(
t
i
)
соответствует времени срабатывания перехода. Срабатывание пере-
хода возможно, если во входном положении содержится знак. При
инициировании перехода из входных положений знак удаляется. Фаза
выполнения продолжается
τ
i
единиц времени, в конце этого проме-
жутка времени переход срабатывает и знак перемещается в выходное
положение перехода. При этом должно выполняться следующее усло-
вие, называемое балансом знаков:
М
(0
,
Р
)+
Т
(
τ, t
i
1
)+
. . .
+
Т
((
τ, t
in
) =
М
(
τ,
Р
)+
I
(
τ, t
j
1
)+
. . .
+
Т
(
τ, t
jm
)
,
где
Т
(
τ, t
)
— числотерминаций перехода
t
;
I
(
τ, t
)
— числоинициаций
перехода
t
, включая время
τ
;
М
(0
,
Р
)
— числознаков в положении в
начальный момент времени;
М
(
τ,
Р
)
— числознаков в положении в
момент времени
τ
.
Использование аппарата временн ´ых сетей Петри оправдано, если
считается, что
τ
i
(продолжительность
i
-й деятельности) постоянна по
времени, несмотря на то, что
τ
i
не остается неизменной в процессе
функционирования системы человек–машина. Для предварительного
анализа временн ´ых характеристик могут быть использованы некото-
рые усредненные ожидаемые задержки. Поэтому под
τ
i
(временем сра-
батывания перехода
t
i
)
далее будем подразумевать ожидаемое время
реакции решающих систем при выполнении
i
-й процедуры системы
человек–машина. Здесь в качестве решающих систем выступают раз-
работчик и средства автоматизированного преобразования ИТВ. По-
этому
τ
i
включает в себя две составляющие:
τ
i
=
τ
i
р
+
τ
i
с
, где
τ
i
р
—
время реакции разработчика;
τ
i
с
— время реакции системы.
В соответствии с методами оценки времени выполнения в работах
[4] ожидаемое время реакции оценивается следующим выражением:
τ
i
= (
а
i
+ 4
m
i
+
b
i
)
/
6
,
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2008. № 3 95
