Рис. 6. Сетевая модель действий пяти пользователей
Рис. 7. Структурированная сеть Петри [11]
бер либо задается натуральным числом
N
,
либо определяется числом
фишек, находящихся во входных позициях некоторого перехода.
Качественными характеристиками могут быть отсутствие зацикли-
ваний в системе, достижение некоторого состояния системы (в частно-
сти, конечного). Количественными характеристиками являются время
работы некоторого маршрута в программе, время прохождения сигна-
ла в схеме и т. д.
22
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
