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 [...]
Archive of posts tagged CPN Tools
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: Get the Flash [...]
Embedding Declare in CPN Models via ProM
Now, this is really cool! This is part 3 of my series on embedding CPN simulation into ProM. In this part, things get really interesting, and the actual goal of the effort becomes evident: we want to be able to embed external programs seamlessly into CPN models. We do this by replacing a sub-page with [...]
Cosimulating CPN models and ProM plugins and Application to ProM Orchestration
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 [...]
Sneak Preview: Annotation of CPN Models in ProM
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 [...]
