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:24]
hverbeek [YAWL]
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 ===== 
- 
-Yet Another Workflow Language 
-{{ :​images:​ylogo.png?​direct&​100|}} 
- 
-==== Description ==== 
- 
-YAWL is a BPM/​Workflow system, based on a concise and powerful modelling language, that handles complex data transformations,​ and full integration with organizational resources and external Web Services. YAWL offers: 
- 
-  * the most powerful process specification language for capturing control-flow dependencies and resourcing requirements. 
-  * native data handling using XML Schema, XPath and XQuery. 
-  * a formal foundation that makes its specifications unambiguous and allows automated verification. 
-  * a service-oriented architecture that provides an environment that can easily be tuned to specific needs. 
- 
-==== Links ==== 
- 
-  * [[http://​www.yawlfoundation.org/​|YAWL]] (includes downloads)