Designing Process Diagrams – A Framework for Making Design Choices When Visualizing Process Mining Outputs · Study