Figure 8.

Logical model for the small example model derived from the PIM depicted in Figure4. Several incoming edges to a node in the interaction graph (Figure 7) are combined by a logical function represented as an orange circle.