BPM and workflow analysis