Дереза А. В.

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

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