Излагается методология дискретно-событийного моделирования класса рассредоточенных объектов и их требуемого поведения (спецификаций) при проектировании систем автоматизации, работающих в реальном времени. В методологии используется модель – структурированная дискретно-событийная система (СДС2) – на первом этапе для анализа функциональности и согласованности объекта и спецификации, а на втором – в рамках СДС2 предлагается базовый метод синтеза модели объекта и супервизора на сетях Петри (моделирующей и управляющей). При этом супервизор предлагается синтезировать как сеть Петри, встроенную в СДС2 по схеме обратной связи с целью ограничения функционирования объекта в соответствии с требованиями спецификации. Предложен механизм взаимодействия моделирующей и управляющей сетей Петри с объектом и внешней средой. Механизм взаимодействия, по сути, является схемой управления объектом на основе сконструированной сети. Этот механизм выполняет анализ текущего состояния объекта и вычисляет управление на актуаторы объекта. Вычисления осуществляются циклической процедурой по матричному представлению сети.

Продолжается исследование подхода к выбору варианта трансформации при трансформа-ции систем управления, который может быть использован в самоорганизующихся системах. Он основан на использовании многозначной логики, возникающей из множества внутренних смыслов (целей деятельности, способов функционирования) присущих системе. В дополнение к уже определенным новым логическим операциям определяется операция импликации «в некотором смысле», которая используются для уточнения приоритетов вариантов поведе-ния системы исходя из этого множества ее внутренних смыслов. Разбирается модельная задача, приближенная к реальности.

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

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