Using genetic algorithms to mine process models : representation, operators and results · Study