A Workflow Process Mining Algorithm Based on Synchro-Net · Study