альные ошибки, оно является адекватным реальному моделируемому
процессу.
Операторная модель позволяет сделать выводы о составе операто-
ров (методов, алгоритмов и средств), которые необходимо разработать
для реализации полнофункциональной системы проектирования; о со-
ставе системы оценок или функций (методов, алгоритмов и средств),
которые необходимо разработать для реализации полнофункциональ-
ной системы проектирования; о связях между методами и средствами
в разрабатываемой системе.
Кроме того, операторная модель иллюстрирует порядок и правила
использования методов и средств, задействованных в процессе реше-
ния задач преобразования ИТВ в РБД в разрабатываемой системе.
Что касается динамики функционирования сети Петри и соответ-
ствующей ей операторной модели, то она в данном случае отражена
лишь отчасти и сводится к ориентации информационных потоков.
Их можно визуально отслеживать и делать необходимые выводы.
Однако для более глубокого анализа динамических свойств модели
и соответствующего объекта исследования оправданно использование
специальных средств – маркерных сетей Петри, которые рассмотрены
далее.
Динамику функционирования системы можно моделировать пере-
мещением маркеров в сети в соответствии с правилами перехода
М
(
Р
) =
М
(
Р
)
−
Р
(
t
i
) +
Н
(
t
i
)
,
где
М
(
Р
) = (
М
(
P
1
)
,
М
(
P
2
)
, . . . ,
М
(
P
N
))
— разметка сети [1].
Инициация всего процесса преобразования начинается с ИТВ и
осуществляется разработчиком. Кроме того, при достижении положе-
ния
P
8
, соответствующего РБД в операторной модели, разработчик
может инициировать процесс и в положении
P
7
. На сетевой моде-
ли это отображается маркером, который изначально располагается в
P
7
. По мере необходимости в
P
7
может добавляться маркер. При до-
стижении маркером положения
P
8
в это положение может быть при
необходимости добавлен маркер. Это отражает реальные прерогативы
разработчика. Собственно процесс моделирования функционирования
системы посредством маркеров состоит в следующем. Маркеры пере-
мещаются по сети из положения в положение. При этом маркеры могут
быть перемещены лишь в том случае, если сработает входной переход,
а он срабатывает, когда во всех положениях, которые связаны с ним
по выходу, имеются маркеры. В качестве примера рассмотрим рис. 6.
Переход
t
1
не сработает, пока в положении
P
1
и
P
2
не окажутся
маркеры. Когда маркеры попадают в положения
P
1
и
P
2
, возможно
срабатывание перехода
t
1
. При этом маркеры из положений
P
1
и
P
2
110 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2008. № 2
