Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

Figure 8

Converting a conflict-free annotated CFP to a directed bigraph.