Archive for January, 2010
Slicer
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 […]
Join the Kilt 2010 Group on Facebook
Of course, Kilt 2010 is also on Facebook. We’ve in fact been on Facebook even before this site went live, but there you are: we’re some times very slow.
Math and Tools for Running Experiments
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 […]
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, […]
Kilt 2010 Now Accepts Credit Cards and Paypal
Kilt 2010 now accepts donations via Paypal. This means you can pay either via your own Paypal account or using any major credit card. Simply go to the Kilt 2010 front page and click one of the Donate buttons or use the buttons […]
Kilt 2010 Gets Its First Sponsor
Kilt 2010 has gotten it’s first sponsor, and the tally is now up to 100,- (excluding donations at Cockney Pub). Thanks to Per Graa! Edit: Acutally, Asbjørn Tølbøl Brask donated 100,- last Friday at Cockney, but I forgot that due to alcohol. He’s […]
