The theory of regions was introduced in the early nineties as a bridge between state-based and event-based specifications. Since then, much attention has been paid to theoretical extensions of this theory, but less advances have appeared in the application domain. This paper provides contributions in both dimensions: the theory of bisimulation-based synthesis from Cortadella {em et al.} is generalized and adapted to the area of Process Mining. On the application domain, efficient methods and data structures to support the synthesis problem are developed, together with a practical implementation. Experiments reported witness the practicality of the approach described in this paper.