Using genetic algorithms to mine process models by