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 [...]
Archive of posts tagged 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 [...]
In All Fairness…
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 [...]
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…
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 [...]
