|
Автоматика и телемеханика, 1997, выпуск 6, страницы 209–218
(Mi at2611)
|
|
|
|
Автоматизация проектирования и программирования
Формализованное описание структуры и поведения иерархических систем с вложением
Ю. Л. Баронa, А. К. Григорянb, А. Т. Кутановb, С. А. Юдицкийb a Институт горного дела, г. Москва
b Институт проблем управления РАН, г. Москва
Аннотация:
Предлагаются методы формализованного описания структуры и поведения класса систем – иерархических систем с вложением. Структура системы представляется в виде иерархии диаграмм, где в одной диаграмме совмещаются несколько уровней вложимости. Поведение системы описывается на основе синхронизированных графов операций – “помеченных” сетей Петри.
Поступила в редакцию: 04.09.1995
Образец цитирования:
Ю. Л. Барон, А. К. Григорян, А. Т. Кутанов, С. А. Юдицкий, “Формализованное описание структуры и поведения иерархических систем с вложением”, Автомат. и телемех., 1997, № 6, 209–218; Autom. Remote Control, 58:6 (1997), 1058–1065
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at2611 https://www.mathnet.ru/rus/at/y1997/i6/p209
|
Статистика просмотров: |
Страница аннотации: | 192 | PDF полного текста: | 306 | Первая страница: | 2 |
|