First results from Java CPN simulator

I’ve compiled my first declarations in my new Java CPN simulator. As proof, I’ve added a erroneous declaration which is displayed with an error while the three declarations without error are displayed as correct. I even show a neat error message on the erroneous declaration. All of this has been accomplished without a single change […]

Read More… from First results from Java CPN simulator

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

Read More… from Embedding Declare in CPN Models via ProM