Archive for November, 2010
Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6
While ProM does not contain editors, it does contain many graphical visualizations. A non-trivial subset of these are canvas-like in nature, a very prominent example being graph-like visualizations. One of the graph-like visualizations is the Petri net visualizer. Canvas-like visualizations share the property that […]
Memory-Efficiency in Java
I like to generate state-spaces. I generate a lot of them. And I have made the code efficient enough that I can generate very large ones. Normally, when you code, using hundreds or even thousands of bytes for an object is no issue, but […]
Progress
In celebration of the horrid comics I put up, I’ve dug thru my folders, and found some even worse ones. They are not funny, but they contain puns, the most high-brow kind of humor only second to jokes about poop. I thought it […]
Spot the Fatty
Certain circles have named today “Bad humor day”. In recognition of this, I have published my very funny (not funny) Petri net jokes, but thought I’d make a more firm statement by reposting some bad (very bad) cartoons I made for Mads Føk […]
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 […]
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 […]
