Process mining algorithm that learns the structure of finite state machines from observations of their behavior - View it on GitHub