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 […]
Tag: Java
Time Limitation on Method Execution in Java
I’m currently running some experiments. I am running a lot of experiments, and they may be very long-running. The experiments take from a few milliseconds to minutes or even hours each and can either terminate successfully or by running out of memory. I catch the OutOfMemoryException to capture the latter case. Sometimes, however, it seems […]
Intro to the New Operational Support Service
For the last couple weeks, I've been working on a new operational support service with, among others, Joyce Nakatumba and Fabrizio Maggi. Work has basically been focusing on two points: making a new protocol with support for sessions and making a meta-model for queries, supporting more structured requests and, in particular, responses. After spending some […]
Read More… from Intro to the New Operational Support Service
Playing With/Suffering SlickerBox
In ProM we use SlickerBox, a library providing a pretty neat skinning of Swing. Unfortunately, SlickerBox is very time-consuming and difficult to use if you go beyond the (very few) supported widgets. I wanted to set up a preferences pane for the new operational support service, and for shit and giggles decided to actually make […]
First results from Java CPN simulator
I’ve compiled my first declarations in my new Java CPN simulator. As proof, I’ve added a erroneous declaration which is displayed with an error while the three declarations without error are displayed as correct. I even show a neat error message on the erroneous declaration. All of this has been accomplished without a single change […]
Real Time and Transition Priorities in CPN Tools
Some months ago, Eric Verbeek and I worked together on adding a couple features to CPN Tools with the primary focus of getting Eric started with maintaining CPN Tools. Today I released a new version of CPN Tools with those features, namely real time stamps and transition priorities. See the demo here: Note that whenever […]
Read More… from Real Time and Transition Priorities in CPN Tools