Evaluating Trace Encoding Methods in Process Mining · Study