An Alternative Way to Analyze Workflow Graphs
Verification of Workflow Nets