Skip to content
Archive of posts tagged Work

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

  • Share/Bookmark

Memory Leaks in Java Code

I’m working on some Java code I’ve inherited.  I’m doing some speed improvements in critical places, and to test my improvements, I need test cases to compare different implementations.  Unfortunately, manually generating test cases is way too time consuming (need need thousands and generating one manually takes minutes or even hours).  Unfortunately, randomly generated test [...]

  • Share/Bookmark

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

  • Share/Bookmark

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

  • Share/Bookmark

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

  • Share/Bookmark