Differences

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)
hverbeek
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 =====