Ю. Л. Барон, А. К. Григорян, А. Т. Кутанов, С. А. Юдицкий, “Формализованное описание структуры и поведения иерархических систем с вложением”, Автомат. и телемех., 1997, выпуск 6,страницы 209

Автоматизация проектирования и программирования

Формализованное описание структуры и поведения иерархических систем с вложением

Ю. Л. Барон^a, А. К. Григорян^b, А. Т. Кутанов^b, С. А. Юдицкий^b

^a Институт горного дела, г. Москва
^b Институт проблем управления РАН, г. Москва

Аннотация: Предлагаются методы формализованного описания структуры и поведения класса систем – иерархических систем с вложением. Структура системы представляется в виде иерархии диаграмм, где в одной диаграмме совмещаются несколько уровней вложимости. Поведение системы описывается на основе синхронизированных графов операций – “помеченных” сетей Петри.

УДК: 519.711.2

Поступила в редакцию: 04.09.1995