коллектив технических редакторов составляют студенты 3–6-го
курсов, постоянно работают 10 человек. По мере того, как оканчи-
вают Университет студенты-дипломники, указанный коллектив меня-
ется. Для пополнения и перманентного обновления редакторов при-
влекаются студенты младших курсов –это “стажеры” числом до 20
человек;
научно-методическое сопровождение и доработки по существу вы-
полняют 25 преподавателей кафедры;
студенты кафедры, не входящие в состав авторского коллектива, по
желанию предоставляют рефераты, в которых излагают предложения
по внесению поправок в материалы энциклопедии.
Существенное отличие электронной энциклопедии от большинства
аналогичных средств заключается в том, что она не может быть реду-
цирована к бумажному варианту без потери дидактических свойств.
Анализ промежуточных результатов опытной эксплуатации по-
зволил поставить задачу разработки модели системы, обеспечиваю-
щей сопровождение процесса развития системы и учет возникаю-
щих проблем для нахождения удовлетворительного проектного ре-
шения,принимая во внимание при этом требования информационной
безопасности. Выбранный метод модельного представления системы
рассматривается далее.
Выбор метода решения задач проектирования.
Исследования,
проведенные в процессе опытной эксплуатации энциклопедии показа-
ли, что в качестве инструмента программной инженерии целесообраз-
но применять аппарат сетей Петри.
Формальное определение сети Петри.
Существует несколько
формальных определений сети Петри, отличающихся способами за-
дания элементов и связей в сети.В данной работе приняты основные
положения, изложенные в [10]. Одно из важнейших свойств сети
Петри — безопасность. Сеть Петри безопасна, если безопасны все
позиции сети.
Принимаем, что сеть Петри
С
формально описывается четверткой
(
тетрарно)
<
С
= (
Р
,
Т
,
I,
О
)
>,
где
P
—
непустое множество элементов сети, называемых местами
и помечаемых фишками;
T
—
непустое множество элементов сети,
называемых переходами;
I
—
функция инцидентности, задающая связи
между элементами множеств
P
и
T
;
О
—
функция выходов. Также
считаем, что позиция
pi
,
принадлежащая множеству
P
с начальной
маркировкой
m
является безопасной, если
m
0
(
pi
)
<
1
для любого
значения
m
0
.
Если интерпретировать сеть как условия и события, маркировка
каждой позиции должна быть безопасной. В безопасной сети любой
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
17
