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 […]

Read More… from Embedding Declare in CPN Models via ProM

The Right Amount of Britney

Some people would say, I have too much B merchandise at my desk at the office. They’d be a bunch of satan-worshipping Aguilera-fans and wrong.  I have the bare minimum of needed B merchandise, and constantly try finding more.  See, prettyness: And yes, that is in fact a B pen in very Dutch colors 😉 […]

Read More… from The Right Amount of Britney

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 […]

Read More… from Cosimulating CPN models and ProM plugins and Application to ProM Orchestration

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 […]

Read More… from Sneak Preview: Annotation of CPN Models in ProM

CPN Simulation 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 […]

Read More… from CPN Simulation in ProM

User-interface… from SWEDEN!

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 […]

Read More… from User-interface… from SWEDEN!