The target of workflow mining is to obtain a workflow management systems from a possibly complete set of event logs of the system. This gives a fruitful support for developing complex business transaction sequences and business collaboration applications. We investigate on how the theory of regions, used to synthesize nets from marking graphs, can be used to mine Workflow Nets. We show that using minimal regions we can mine the correct net. We also briefly discuss on how transitions systems can be obtained by event logs.