EdgeMiner: distributed process mining at the data sources | Synapse