Предлагается комплексная методология проектирования устройств и систем логического управления сложными распределенными дискретными процессами с параллельным выполнением операций. Основное внимание при проектировании уделяется формальному описанию процессов и их свойств на основе концепции согласования процессов через пространство структурированной памяти. Даны рекомендации по аппаратной и программной реализации распределенных систем управления.
логическое управление, дискретные процессы, асинхронные предикатно-функциональные сети, формальные модели, распределенные вычислительные системы