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 […]
Month: January 2010
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. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
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 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 […]
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 below. Donate DKK 200,- Donate DKK 100,- Donate DKK 50,- Donate any […]
Read More… from Kilt 2010 Now Accepts Credit Cards and Paypal
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 been added to the list. MichaelTime person of the year 2006, Nobel […]