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