The first tool to support the alpha algorithm for process mining was MiMo (Mining Module). MiMo is a tool based on ExSpect. ExSpect (EXecutable SPECification Tool) supports high-level Petri-nets. MiMo consists of two parts: (1) a workflow log generator and (2) a workflow log analyzer. The workflow log generator generates workflow traces on the basis of a process model. It is possible to build a graphical model of the workflow process in terms of an hierarchical WF-net. Using the MiMo toolbox a workflow log is generated automatically. The generation process can be controlled (e.g., started and stopped) by the designer. Instead of using the workflow log generator, it is also possible to upload workflow traces from a file.