“…For business process modeling purposes, we use colored Petri nets (CPNs) [1,26]. CPNs have been chosen because they have a graphical representation, they have mature and freely available tool support, e.g., CPN Tools, and they have a precise semantic that can be translated to or directly implemented in other languages, e.g., Event-driven Process Chains [38] or YAWL [42], used by commercial and noncommercial workflow engines.…”