Declarative Process Mining: Reducing Discovered Models Complexity by Pre-Processing Event Logs · Study