Алгоритм декомпозиции формальной модели функционального блока дискретного устройства

Моделирование больших систем представляет собой задачу большой размерности, поэтому одним из методов исследования таких систем является метод декомпозиции, позволяющий разбивать исследуемую схему на части, проверяя работу каждой части, и последовательно добавлять к проверенной части новые фрагменты.