Рис. 4. Конечнаясетеваямодель
Рис. 5. Конечнаяоператорнаямодель
Может создаться ложное впечатление о том, что операторная мо-
дель подгоняется под требования используемого математического ап-
парата. На самом деле наоборот, математический аппарат сетей Петри
позволяет выявить коллизии в операторной модели, которая построена
эмпирическим путем и не гарантирована от ошибок.
В результате выполненных преобразований, с одной стороны, по-
лучена операторная модель методики преобразования ИТВ к РБД,
свободная от принципиальных ошибок, а с другой стороны, полу-
чено формальное описание этой модели, которое можно использовать
для ее дальнейшего исследования и улучшения. В связи с тем, что
в формальном описании модели выявлены и исключены принципи-
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2008. № 2 109
