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

Рассмотрена проблема создания программного обеспечения САПР технических систем на базе блочно-иерархического исследования сложных дискретных структур. Описан разработанный язык моделирования, ориентированный на транзакты, предназначенный для иерархического проектирования структур с очередями. Подробно приведен механизм управления, включающий в себя методику хранения и индексирования событий, а также сами алгоритмы управления. Описан синтаксис языка моделирования и особенности использования разработанного программного обеспечения.