Supporting proces mining by showing events at a glance | Synapse