Рис. 5. Сетевая модель действий одного пользователя
Для того чтобы синхронизировать независимые действия пользо-
вателей, в модель необходимо ввести элементы, регламентирующие
использование ресурсов. В качестве таких элементов могут служить
дополнительные места с единичной маркировкой. Единственный мар-
кер разрешает срабатывание только одного из разрешенных перехо-
дов,если два пользователя одновременно претендуют на один и тот же
раздел. Так исключается возможность одновременного использования
одного и того же ресурса.
Очевидно, что решением проблемы обеспечения отсутствия блоки-
ровок может стать запрет на одновременное присутствие более четы-
рех пользователей. В модели это реализуется введением еще одного
дополнительного места, число маркеров в котором равно четырем.
Данное место связано входными дугами с первым переходом модели
действий каждого из пяти пользователей. Вход пользователя в энци-
клопедию отображается в модели появлением маркера во входном ме-
сте перехода
t
(
i,
1)
.
Если в дополнительном месте имеется маркер, то
доступ разрешен, в противном случае пользователь будет ждать, пока
один из четырех уже работающих в среде пользователей не освободит
ему доступ. Результирующая сеть показана на рис. 6.
При моделировании разветвленных систем возможно использова-
ние методов расширения, которые позволяют экстраполировать ре-
зультаты построения модели частной задачи. Для решения таких задач
полезно применение структурированных сетей:в них некоторые из пе-
реходов являются сложными. Если срабатывает сеть данного уровня,
то запускается сеть другого уровня иерархии (рис. 7). Срабатывание
перехода
t
2
приводит к запуску сети другого уровня. После выпол-
нения сети в ее выходной позиции по является фишка, затем форми-
руются фишки в выходных позициях сложного перехода. Поскольку
такие сети используются для моделирования модульных вычислитель-
ных систем, они полезны для решения задач, поставленных в работе.
Учет факторов сопровождения постоянно развиваемой системы,
каковой является энциклопедия, с использованием сетей Петри воз-
можен, так как кратность ребер не является постоянной в сетях с
изменяемой структурой. В самомодифицируемых сетях кратность ре-
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
21
