The paper deals with the methodology of control Petri net synthesis developed for real-time automation systems. The methodology is based on the model called a structured discrete event system (SDES) applied to analysis functionality and consistency. In the paper, SDES structure is defined, the technique of SDES controllability analysis is proposed. Developed are the method (based on SDES model) of Petri net synthesis for process modeling, the technique of process net analysis and the synthetic method of supervisor control net providing, jointly with the process net, the fulfillment of initial specifications.

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