Таблица 2
Возможные маркировки сети
N Р1 Р2 Р3 Р4 Р5 Р6 Р7 Р8 Р9 Р10 Р11 Р12 Т
1 0 0 0 0 0 0 1 0 0 0 0 0 t0
2 1 0 0 0 0 0 1 0 0 0 0 0 t11
3 0 1 0 0 0 0 1 0 0 0 0 0 t1
4 1 1 0 0 0 1 0 0 0 0 0 0 t11
5 1 0 0 0 0 0 0 0 0 0 0 0 t6
6 0 1 0 0 0 0 0 0 0 0 0 0 t1
7 0 1 0 0 0 0 1 0 0 0 0 0 t0
достижимы исходя из логики и динамики функционирования модели
процесса преобразования ИТВ в РБД.
В принципе процесс формирования очередных маркировок может
осуществляться до бесконечности, так как все положения сети имеют
непосредственнуюили опосредованнуюобратнуюсвязь.
В реальной ситуации процесс завершается при достижении необхо-
димого результата. Принципиальная возможность срабатывания всех
переходов свидетельствует о еще одном свойстве сети – отсутствии
тупиковых положений. Это, в своюочередь, указывает на то, что в
объекте моделирования отсутствуют тупиковые состояния.
Анализируя таблицу, выявили, что сеть является безопасной, т.е.
выполняется условие, при котором в любой момент времени в каждом
положении располагается не более одного маркера.
Из этого следует, что моделируемая система функционирует в ста-
ционарном режиме, т.е. при функционировании системы ни для одной
из ее проектных процедур невозможна ситуация, когда формируется
очередь на обработку входных данных, что исключает “зависание”
процесса автоматизированного проектирования.
Резюмируя сказанное, можно сделать вывод о том, что разработан-
ная сетевая модель устойчивая, живая, достижимая, безопасная, в ней
отсутствуют тупиковые положения. Эта сеть соответствует реальному
процессу преобразования ИТВ в РБД, и операторная модель преобра-
зования обладает теми же свойствами.
Таким образом, операторная модель свободна от принципиальных
ошибок и может быть использована в качестве основы для разработки
и реализации методики проектирования РБД с использованием суще-
ствующей ИТВ, а также в качестве основы для разработки соответ-
ствующих методов решения проектных задач, алгоритмов, используе-
мых в рамках методов, и программных средств, которые в комплексе
и составят методику.
112 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2008. № 2
