I’m running experiments for a paper, I’m currently working on. We’re testing a new tool, we’re working on. Of course, we compare it to our old tools, so I’m currently generating state spaces for 6 different CPN models. Each model is parametrized, so in total I have 38 instances (at the moment). In order to […]
Automatic Flattening of CPN Models
I’m working on a project to unfold coloured Petri nets (CP-nets or CPNs). Our tool almost but not entirely supports hierarchical CPN models, so I have to make some flat models. As both of our interesting examples (DYMO and ERDP) are hightly hierarchical, I need to flatten them. Luckily, our tool, CPN Tools, is able […]
Things-that-break’R’us
The Friday bar got this catalog from Witre, aka Things-that-break’R’us. We once bought a trolley from them, and it broke 3 times before we gave up getting anything that works form them. Also, I may have manipulated the picture slightly. Edit: Somebody requested a photo of the inner pages as well. Funnily, they all contain […]
Pain
This is what my teaching schedule looks like one week in February. I’m particularly aware of a Monday with 4 hours of lecture in one go followed by a class in the afternoon… […]