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