ProM | Michaelpedia Galactica

ProM Package Documentation: Cosimulation

Posted on July 18, 2011 (May 18, 2018) by Michael

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 […]

ProM Package Documentation: SimpleXQueryProvider

Posted on July 12, 2011 (May 18, 2018) by Michael

This is a very simple provider for the operational support service in ProM. The document assumes you are familiar with this one as well. SimpleXQueryProvider MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

ProM Package Documentation: OperationalSupport

Posted on July 12, 2011 (May 18, 2018) by Michael

Made some documentation of the OperationalSupport package. OperationalSupport I can recommend taking the lazy-ass road and instead watching this video. MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

ProM Package Documentation: KeyValue

Posted on July 12, 2011 (October 20, 2021) by Michael

This documentation is much more boring than my documentation for CPNet. It’s probably still marginally useful, though. Here’s how to use unstructured log data in ProM 6.1. This is basically a simplified version of XESame and Nitro, but more aimed at programmers than at end-users. This package contains a couple simple demonstration plug-ins that may […]

ProM Package Documentation: CPNet

Posted on July 11, 2011 (May 18, 2018) by Michael

I should be a technical writer! Perhaps I should not write documentation when tired… Read this! The power of Greyskull commands you! CPNet (You can clearly see that I get bored around the middle of page 2…) MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]