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)