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 […]
Read More… from Process Mining Week 2: Quality Measures and a Genetic Miner
Week 1 in process mining. This is just an introduction and a quick introduction to Petri nets and the Alpha algorithm. […]
Read More… from Process Mining Week 1: Introduction, Petri Nets, Alpha Algorithm
It works bitches! And even better with beer. […]
This is why we do formal verification and applications to free coffee (or tea). […]
I decided to redesign my homepage again. In part because the previous theme was starting to annoy me: it was less pretty that I when I saw it for the first time, and it is messy code which is hell to maintain. I therefore decided to switch themes and at the same time do some […]
Read More… from New Layout and Social Integration (also EMO integration)
This quickly produced video shows why we do formal verification. Don’t do this at home (or work). I did not figure out this trick; I theorized it might be possible, but somebody else found it out. http://youtu.be/14s1mCg2kXg […]