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

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