Die Modellierung betriebswirtschaftlicher Geschäftsprozesse steht seit Beginn der 1990er Jahre im Mittelpunkt der Analyse und Gestaltung der betrieblichen Strukturen von Unternehmen und öffentlichen Verwaltungen. Dabei hat sich die semi-formale Beschreibungssprache der (erweiterten)...