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 above paper Cosimulation MichaelTime person of the year 2006, Nobel Peace Prize […]

Read More… from ProM Package Documentation: 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 […]

Read More… from ProM Plug-in Suggestion: ProM Orchestration

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

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