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: M. Westergaard, “Access/CPN 2.0: A [...]
Archive of posts tagged Cosimulation
Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models
And here’s the demo I gave on the demo slide: Get the Flash Player to see this content.
ProM Plug-in Suggestion: ProM Orchestration
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 [...]
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 [...]
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 [...]
