Desde su introducción, los árboles de procesos se han utilizado con frecuencia como formalismo de modelado de procesos en muchos algoritmos de minería de procesos. Un árbol de procesos es un modelo (matemático) basado en árboles de un proceso, en el que los vértices internos representan relaciones de flujo de control conductual y las hojas representan actividades del proceso. La traducción de un árbol de procesos en una red de flujo de trabajo sólida es trivial. Sin embargo, no ocurre lo mismo en sentido contrario. Al mismo tiempo, un algoritmo que traduce una red de flujo de trabajo en un árbol de procesos es de gran interés, por ejemplo, el conocimiento explícito de la jerarquía de flujo de control en una red de flujo de trabajo permite razonar sobre su comportamiento de manera más sencilla. Por lo tanto, en este documento, presentamos dicho algoritmo, es decir, detecta si una red de flujo de trabajo corresponde a un árbol de procesos y, de ser así, lo construye. Demostramos que, si el algoritmo encuentra un árbol de procesos, el lenguaje del árbol de procesos es igual al lenguaje de la red de flujo de trabajo original. Los experimentos realizados muestran que la implementación correspondiente del algoritmo tiene una complejidad temporal cuadrática en el tamaño de la red de flujo de trabajo. Además, los experimentos muestran una fuerte evidencia de redisponibilidad del árbol de procesos.