A genetic algorithm for discovering process trees · Study