An Invertible State Space for Process Trees