lecture supplement for TU/e Wil van der Aalst - Process Mining: Data Science in Action Coursera  mooc