Brought to you by the "it's not a title, it's an abstract"-foundation, today let's look at a continuation of my post from last Friday. The idea is that instead of "just" simulating the CPN model, we can attach ProM plugins that can monitor either places or transitions. Such monitors can collect information from the execution […]
Read More… from Cosimulating CPN models and ProM plugins and Application to ProM Orchestration
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 […]
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 […]
I’m multitasking like crazy: I’m writing code on my “emergency Mac” (which is the only one really set up for working), compiling the code on a virtual Windows XP machine and testing the code on a 64 bit Windows 7 machine, which fails to run my code. Hmmm… Maybe this is the excuse I’ve needed […]
I may no longer be allowed to name tools at work, but I am still the only one able to make new builds of CPN Tools. Hence, I present the upcoming version 2.3.9: […]