Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Workflow Analyzer


This tool analyzes and reduces workflows by means of reduction rules.

Source code and benchmark arenas

The source code can be optained [here]


Philipp Hoffmann (Email: ph DOT hoffmann AT tum DOT de)