В работе излагается метод построения модели гибкого процесса путем использования методов process mining с применением алгебры конечных предикатов и логических сетей. Интеллектуальный анализ процессов предназначен для построения формально-логических моделей гибких процессов. В качестве исходных данных используются логи событий, которые содержат сведения о последовательности выполнившихся действий в информационной системе. Алгебра конечных предикатов предназначена для формализации процессов логической природы и представляет собой дискретный аппарат для описания произвольных конечных отношений. Решение уравнений алгебры конечных предикатов осуществляется посредством логической сети, для чего уравнения алгебры преобразуются в систему бинарных предикатов.