Bad Petri Net Jokes

You know how some times you get an idea and, while knowing it is a bad idea, you still go with it?  Yeah, taking these bad (very bad) Petri net jokes made it off Twitter and onto my blog.  I may have surpassed Troels: You know how many movies have a token black dude? You […]

Read More… from Bad Petri Net Jokes

Characteristics of a Parallel State-space Analysis Algorithm

I’m running some experiments with a parallel implementation of state-space generation and observed something very interesting. I was running the experiments on my own computer (iMac, Core i7 2.8 GHz w/ 4 cores (8 HT) and 8 GiB 1067 MHz RAM).  The experiment has been running for almost 4 days now and have just about […]

Read More… from Characteristics of a Parallel State-space Analysis Algorithm

Mission: Imperative

Looking at my fridge, I’d say it’s imperative that I go grocery shopping today. That, or man up and have a couple cans of beer for breakfast. This interesting notice was brought to you by the Gotta-wait-for-the-washing-machine-to-finish-before-I -head-to-the-supermarket foundation. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Mission: Imperative

Parallel State-space Generation

I’m doing some state-space analysis at the moment.  Instead of bogging down my computer at home, I am running the experiments on our grid.  It is a bit overkill, but there is something sexy by running a parallel algorithm on a machine with 16 CPUs.  Unfortunately, it seems my algorithm doesn’t really scale that high, […]

Read More… from Parallel State-space Generation