Рассматривается задача формального конструирования исполнительных версий сетевых интерпретируемых моделей в системах управления реального времени. Предлагаемый реляционный, подход к структуризации моделей дискретных процессов оценивается как средство сокращения трудоемкости формализации и конструктивная ...