Michael | Michaelpedia Galactica

Process Mining Week 3: Representational Bias, Transition Systems, and Causal Nets

Posted on November 10, 2012 (April 29, 2023)

This week is about representational bias. To illustrate what changing representation, we present the representations transition systems and causal nets, and indicate an algorithm for discovering transition systems and a heuristics miner for discovering causal nets. These slides are based on Wil’s slides from processmining.org/book/start. Exercises: Slides on the assignment handed out this week: MichaelTime […]

Sightseeing in Москва – Red Square and Alexander Garden

Posted on November 9, 2012 (May 18, 2018)

So, as most probably know, I’m moving part-time to Moscow. As a preparation for that, I’m currently temporarily in Moscow to teach a course. I’ve been quite busy, but Sunday I spent doing some sightseeing. As I live quite close to ((In Moscow terms; it’s around 3 km, which is, like, infinitely far in Eindhoven […]

Process Mining Week 2: Quality Measures and a Genetic Miner

Posted on November 7, 2012 (April 29, 2023)

Quality measures for mined models and a genetic miner allowing optimizing for individual quality criteria. These slides are in general based on Wil van der Aalst’s slides from processmining.org/book/start, but also contain contributions from Joos Buijs for the Evolutionary Tree Miner this week. Slides on exercises for that week (thanks to Joos for making the Evolutionary Tree […]

Process Mining Week 1: Introduction, Petri Nets, Alpha Algorithm

Posted on November 6, 2012 (April 29, 2023)

Week 1 in process mining. This is just an introduction and a quick introduction to Petri nets and the Alpha algorithm. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Science!

Posted on October 26, 2012 (May 18, 2018)

It works bitches! And even better with beer. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Why We Do Formal Verification

Posted on October 20, 2012 (May 18, 2018)

This is why we do formal verification and applications to free coffee (or tea). MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]