Petrinetzbasierte Modellierung und Steuerung unternehmensübergreifender Geschäftsprozesse.