Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Figure 2

A query written in BPMN-Q.