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