Presentations
Concurrent Constraint Programming
Here’s a thing I didn’t expect to happen anymore: me publishing presentations on my homepage. It’s basically a shortened version of my post about user scenarios given at a kennissessie at work. It contains all the good stuff: Britney, CPN Tools, and tanks. As […]
Declare Mining for Dummies
Probably my last presentation at TU/e: simple, general, and fast Declare mining. Much of this is in [1, 2] (not online yet at the time of writing). [1] M. Westergaard, C. Stahl, and H. A. Reijers, “UnconstrainedMiner: Efficient Discovery of Generalized Declarative Process Models,” […]
Fast and Accurate Declare Mining
Presentation I’ll give in two weeks. How to be significantly faster at mining Declare than any existing tool, and at the same time get much better models. Abstract Declarative models make it possible to describe changing systems or systems with a lot of freedom […]
CPN Tools 4 @ Petri Nets 2013
Tool presentation of CPN Tools 4 from Petri Nets 2013. If you want to see CPN Tools 5, consider our IndieGoGo campaign.
Modeling is not Just for Supermodels
Presentation I’ll give next Monday. I went for a title which is catchy, but in the end turned out to not really have anything to do with the contents. Then again, “Stuff about CPN Tools and Declare and Operational Support and How They […]

