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