Process Mining Week 2: Quality Measures and a Genetic Miner

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

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

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/ […]

Read More… from Process Mining Week 1: Introduction, Petri Nets, Alpha Algorithm

Windows 8 and CPN Tools, Declare, and ProM

Frequent readers will know, I have posted about how CPN Tools, Declare, and ProM has been running on the developer preview and the consumer preview of Windows 8.  The short version was that CPN Tools and Declare run on bot 32 and 64 bit versions without problems.  ProM ran on 32 bit versions without problems […]

Read More… from Windows 8 and CPN Tools, Declare, and ProM

Proof by Timeline

Making slides.  Decidability result: Edit: Ffffuuuuu…! This doesn’t work.  Have to change precedence to response (I think that works at least…) Edit 2: This works.  Wrong version below. Edit 2: Wrong stuff below; it is actually possible to make this bounded. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Proof by Timeline