Метод моделирования реактивных систем с параллельными и последовательными процессами

Журнал: 
Страница: 
107
УДК: 
51.681.3
Предлагается метод построения модели сложной многоблоковой реальной системы. Решается задача комбинирования последовательного и параллельного выполнения исходных процессов моделируемой системы за счет APPLY - операции для OBDD, представляющих автоматы соответствующих сетей Петри компонент исследуемой системы.
info_eng: 
 The method of creation of model of difficult multiblock real system is offered. The task of a combination of serial and parallel performance of initial processes of modelled system at the axpense of performance of АРРLY- operation for ОВDD, repressenting automatic mashines corresponding for the Petri nets components of researched system dares.