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 they are scalable – a fact that is often needed to […]
Read More… from Proposal for Inspector for Properties of Canvas-like Visualizations in ProM 6
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 when you multiple 1000 with a million, you suddenly use 1 […]
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
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, […]
In celebration of the upcoming version of CPN Tools, I made this picture showing all externally released version of CPN Tools from 0.1.1 to 3.0.0 (though the latter is not really released yet). Click on the image for a (much) larger version. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Something is coming… Next Wednesday. So, get your priorities straight and reserve some real time for this! MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]