Сетецентрическое управление на сетях петри в структурированной дискретно-событийной системе

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