Friday, I showed CPN simulation in ProM. While generating logs directly inside ProM is neat and all, the ultimate goal is to be able to set up test scenarios specified using CPN models and to use CPN model implementations of complex algorithms for testing. This is still work in progress, so I cannot give a […]
Read More… from Sneak Preview: Annotation of CPN Models in ProM
A little something I've been working with the last week or so: integrating CPN simulation into ProM using Access/CPN. I've extended Access/CPN a bit to accommodate arbitrary hierarchical models as well as timed models. I've also added some very tight integration with CPN Tools, allowing ProM to show the state of models in the CPN […]
Dear Microsoft, whoever told you, this would be a clever user-interface design failed you! Why are you hiding the interesting part of the name from me? Why do I have to manually enlarge the Type column every B-dammit time just to see the part of the name, I want? For this abomination, I give you […]
I just received a shipment of B merch: Grand total: 20 new B-shirts, a neat-o bag filled to the brim with great swag. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
It’s not that I hate CPN Tools, but friends do not force friends to write code like the below. The problem is that I have a couple programs. They communicate over a channel using a given packet format. Unfortunately CPN Tools misunderstood the format of the packets for one specific kind of packets, misrepresenting them […]
The shortest distance between two points is, apparently, via a third point, very far away from the original two points. This kind of tomfoolery never ceases to amuse me: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]