Table of Contents

ExSpect

Executable Specification tool.

Woflan

Workflow Analyzer (Now part of ProM).

YASPER

Yet Another Smart Process EditoR.