This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:tools [2015/08/19 10:21]
hverbeek [ProM]
research:tools [2016/12/06 11:50] (current)
Line 1: Line 1:
 ====== Tools ====== ====== Tools ======
-===== CPN Tools =====+{{page>​tools:​oss}}
-Coloured Petri Net Tools +{{page>​tools:prom}}
-{{ :images:​cpntools_logo.png?​direct&​100|}}+
-==== Description ====+{{page>​tools:​cpn_tools}}
-CPN Tools is a tool for editing, simulating, and analyzing Colored Petri nets. +{{page>​tools:​yawl}}
-The tool features incremental syntax checking and code generation, which take place while a net is being constructed. A fast simulator efficiently handles untimed and timed nets. Full and partial state spaces can be generated and analyzed, and a standard state space report contains information,​ such as boundedness properties and liveness properties.+
-==== Links ==== 
-  * [[http://​cpntools.org/​|CPN Tools]] (includes downloads) 
-===== ProM ===== 
-Process Mining 
-{{ :​images:​prom_subtitle_hat.png?​direct&​100|}} 
-==== Description ==== 
-The Process Mining Framework in which all our process-mining related ideas are implemented. If you want to see our research at work, download the latest release of ProM. 
-==== Links ==== 
-  * [[http://​www.processmining.org/​|Process Mining]] 
-  * [[http://​www.promtools.org/​|ProM tools]] (includes downloads) 
-  * [[https://​svn.win.tue.nl/​trac/​prom|ProM development]] 
-  * [[https://​svn.win.tue.nl/​trac/​prom/​browser|ProM source browser]] 
-  * [[http://​www.promtools.org/​doku.php?​id=nightly|ProM nightly build]] (for the brave and impatient) 
-===== YAWL =====