A Traditional Britmas

In the days December 21st to 27th I went to Denmark for the annual “let’s get drunk because some fictional person got his birthday retconned to this time”-celebrations. I landed in Billund in the evening and after what seemed to be remarkably few problems got on a bus to Århus. There, I did the only […]

Read More… from A Traditional Britmas

Simulated Naughtiness in CPN Tools

Today I got a question about simulating a sequence of named transitions in CPN Tools.  While this is not immediately possible, it can be done using Access/CPN, which has a Java component (featured here ) and a SML component, which is leading a much more secret life as the underpinning of ASAP. Access/CPN is described in […]

Read More… from Simulated Naughtiness in CPN Tools

Exploiting the Innards of ProM and Breaking Data-Hiding for Fun and Profit

So, I’ve spent the afternoon writing horrible code.  Horrible, horrible code. See, I have this plug-in, which executes other plug-ins.  For some time, I’ve wanted to mark those as favorite in ProM.  This means that the object shows up with a pretty yellow star and, more importantly, shows up in the Favorites.  As the Favorites […]

Read More… from Exploiting the Innards of ProM and Breaking Data-Hiding for Fun and Profit