Figure 1: Two Petri net modeled process models.