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

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 expense of performance of APLLY operation for OBDD, representing automatic machines corresp onding for the Petri nets components of researched system dares.