Little Thumb is a tool that attempts to induce a workflow model from a possibly noisy and incomplete workflow log.
EMiT (Enhanced Mining Tool) is a tool to (re)discover worklow processes.
MiSoN (Mining Social Network) is a tool to discover relationships between individuals from a range of enterprise information systems.
MiMo was the first tool to support the alpha algorithm for process mining, and is based on ExSpect (http://www.exspect.com/).