Рис. 1. Операторнаямодель преобразованияИТВ к РБД
Рис. 2. Модель процесса преобразованияИТВ к РБД в виде сети Петри
Сеть Петри представляется тройкой
P
=
<
Р
,
Т
,
Р
>
, где
Р
—
множество положений;
Т
— множество переходов;
Н
— множество
маркеров [3].
С помощьюпостроенной модели можно выполнить анализ устой-
чивости сети, или анализ способности отражать реальные процессы
интерактивного взаимодействия разработчика и автоматизированных
средств проектирования в ходе проектирования РБД на основе суще-
ствующей ИТВ.
Сеть Петри является устойчивой, если она имеет потоковое назна-
чение
f
i
>
0
для каждого перехода, где потоковое назначение — это
функция, которая приписывает каждому переходу положительное ра-
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2008. № 2 105
