PETRA: Process Evolution using a TRAce-based system on a maintenance platform · Study