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 above paper Cosimulation MichaelTime person of the year 2006, Nobel Peace Prize […]
Tag: 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: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models
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 on. First, it would be nice to be able to set […]
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 […]
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 places or transitions. Such monitors can collect information from the execution […]
Read More… from Cosimulating CPN models and ProM plugins and Application to ProM Orchestration