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