З використанням математичного апарату модифікованих систем алгоритмічних алгебр (САА-М) використано формалізацію алгоритму Едмондса - Карпа пошуку максимального потоку в мережі. Сформульовано критерії оптимізації, на основі яких шляхом формальних перетворень САА-схем отримано сукупність паралельних САА-М-схем.
