I already have created a simple plug-in for my cosimulation plug-in for ProM. See my video demo here for more information about the current status. The current plug-in handles “most” plug-ins, but it has at least four short-comings that would be neat to expand on. First, it would be nice to be able to set […]
Tag: Coloured Petri nets
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 […]
In All Fairness…
[bibshow sort=author order=asc file=conferences.bib,workshops.bib,other.bib]Yesterday Boudewijn and I were talking about an interesting issue in CPN Tools. The problem was that using performance analysis yielded different results on two different CPN models. To understand why that is, let us discuss fairness in simulation of CPN models. Fairness in simulation of CPN models is a difficult beast. […]
Graphical User Interface
I’m playing around with the simulation algorithm in CPN Tools. Currently, things look like this: Somehow, I doubt this is what most people think of when they think of coloured Petri nets… MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
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: Note that whenever […]
Read More… from Real Time and Transition Priorities in CPN Tools
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 […]