Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Figure 11

The resulting subgraph of the process model in Figure 1(c) after executing the query in Figure 2.