SAP Signavio Academic Models: A Large Process Model Dataset (Lecture notes in business information processing, 2023)