{Understanding Spaghetti Models with Sequence Clustering for ProM}