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

Предлагается метод построения модели сложной многоблоковой реальной системы. Решается задача комбинирования последовательного и параллельного выполнения исходных процессов моделируемой системы за счет APPLY - операции для OBDD, представляющих автоматы соответствующих сетей Петри компонент исследуемой системы.