Faster and More Focused Control-Flow Analysis for Business Process Models through SESE Decomposition
An Alternative Way to Analyze Workflow Graphs