After playing around with ustream for a bit, I decided to give it a shot for my lectures in Distributed Systems. It seemed to go surprisingly well, so I now plan to stream live from lectures each Monday from 08:15-10:00 and each Wednesday from 09:15-10:00 (CEST). In addition to the live streams, I’ll also record […]
Normally a post with this title would detail how I’ve moved from one server to another. Not so this time. I’ve moved my servers around to get a bit more room in my hallway. Before the grand move, thing looked like this (click for larger version): Note that the 3D monitor is a 15″ monitor, […]
I’ve had lasagna for the last many days now. I’ve always made may own béchamel/mornay sauce. By chance and experience, I’ve come up with an excellent mornay sauce I use for lasagna emiliana, and here’s the recipe. […]
This blog is turning into a veritable E/N fest. Anyway, I just bought a slicer for sandwich meat, and tested it out with a nice 2 kg smoked saddle of pork, and made me a lot of ham for sandwiches. I also chopped up a 500 g rolled seasoned meat. Awesomely enough, I still have […]
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 […]
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 […]