This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== ProM 5.2 ===== ~~NOTOC~~ ===== Downloads ===== <html> <dl> <dt><a onClick="_gaq.push(['_trackEvent', 'Download', 'ProM 5.2', 'Windows installer']);" href="https://sourceforge.net/projects/prom/files/ProM/5.2/ProM-5.2-Setup.exe/download">Windows installer</a></dt><dd>EXE, 55.9 MB</dd> <dt><a onClick="_gaq.push(['_trackEvent', 'Download', 'ProM 5.2', 'Mac OS X disk image']);" href="https://sourceforge.net/projects/prom/files/ProM/5.2/ProM-5.2.dmg/download">Mac OS X disk image</a></dt><dd>DMG, 43.7 MB</dd> <dt><a onClick="_gaq.push(['_trackEvent', 'Download', 'ProM 5.2', 'Tar archive']);" href="https://sourceforge.net/projects/prom/files/ProM/5.2/ProM-5.2-source.tar.gz/download">All platforms</a></dt><dd>TAR.GZ, 55.8 MB</dd> </dl> </html> ===== License ===== ProM 5.2 is distributed under the [[http://opensource.org/licenses/cpl1.0.php|CPL]] license. ===== Description ===== In ProM 5.2, there are **more than 230 plug-ins** available, and we support the **import** of (and the **conversion** between) several process modelling languages, such as: * [[http://www.informatik.uni-hamburg.de/TGI/PetriNets/|Petri nets]] (PNML, TPN) * [[http://www.epk-community.de/|EPCs / EPKs]] (Aris graph format, EPML) * [[http://www.yawl-system.com/|YAWL]] * (and many more) There are **mining plugins**, such as: * Plugins supporting **control-flow mining** techniques (such as the Alpha algorithm, Genetic mining, Multi-phase mining, ...) * Plugins analysing the **organizational perspective** (such as the Social Network miner, the Staff Assignment miner, ...) * Plugins dealing with the **data perspective** (such as the Decision miner, ...) * Plugins for mining **less-structured, flexible processes** (such as the Fuzzy Miner) * Elaborate data visualization plugins (such as the Cloud Chamber Miner) * (and many more) Furthermore, there are **analysis plugins** dealing with: * The **verification** of process models (e.g., **Woflan** analysis) * Verification of **Linear Temporal Logic (LTL)** formulas on a log * Checking the **conformance** between a given process model and a log * **Performance analysis** (Basic statistical analysis, and Performance Analysis with a given process model) Finally, ProM sports a large array of **log filters**, which are a valuable tool for cleaning logs from undesired, or unimportant, artefacts. Show page