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 […]

Read More… from Math and Tools for Running Experiments

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 […]

Read More… from Automatic Flattening of CPN Models

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 […]

Read More… from Kilt 2010 Gets Its First Sponsor

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 […]

Read More… from Things-that-break’R’us