ProM Plug-in Suggestion: CPN Log Extraction

Sometimes I get ideas I don’t have to time to execute.  Instead of just abandoning them, I thought I’d write a notice about them and let them be up for grabs. One such idea is a plug-in for automatic log-extraction from CPN models in ProM.  There already is a library supporting this, but it requires […]

Read More… from ProM Plug-in Suggestion: CPN Log Extraction

CPN Tools Features Accumulating In response to Requests (FAIR)

We needed the new implementation of fairness described earlier for a course here at the TU/e., so I set out to implement it.  Here is a demonstration of the implementation of local binding element fairness present in CPN Tools 3.1. […]

Read More… from CPN Tools Features Accumulating In response to Requests (FAIR)

Beer and Orange Day

Tomorrow’s Beer and Orange Day (or Koninginnedag as some people call it).  As far as I understand, this involves a) drinking beer, and b) wearing orange.  a) I can already do, but as for b), I don’t have any orange clothes.  Instead, I found this very neat compromise: […]

Read More… from Beer and Orange Day

Britney Beers 2 – The Beerening!

I put up Britney Beers.  Pretty as a picture on the cover of a Britney CD: Still, something’s missing.  As a wise man once said in a cinema: Needs more Britney! Much better!  Also, I poured a beer; it’s ready in around 5 minutes, so that’s nice.  The colorful bands have titles of Britney songs […]

Read More… from Britney Beers 2 – The Beerening!