ProM Package Documentation: Cosimulation

This is documentation for my Cosimulation plug-in. Related posts: Simple demo of early version of the plug-in More advanced demo of this plug-in Suggestion for improvement of ProM Orchestration plug-in Presentation explaining background for plug-in Paper describing this plug-in: [bibtex file=tools.bib key=accesscpn2] Presentation of […]

Read More…

Cosimulating CPN models and ProM plugins and Application to ProM Orchestration

Brought to you by the "it's not a title, it's an abstract"-foundation, today let's look at a continuation of my post from last Friday.  The idea is that instead of "just" simulating the CPN model, we can attach ProM plugins that can monitor either […]

Read More…