CPN Simulation in ProM

A little something I've been working with the last week or so: integrating CPN simulation into ProM using Access/CPN. I've extended Access/CPN a bit to accommodate arbitrary hierarchical models as well as timed models.  I've also added some very tight integration with CPN Tools, allowing ProM to show the state of models in the CPN […]

Read More…