Faster and More Focused Control-Flow Analysis for Business Process Models through SESE Decomposition
Analyzing process models using graph reduction techniques