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