Petri-Netz-basierte Modellierung und Analyse von Bauplanungsprozessen (Berichte des Instituts für Numerische Methoden und Informatik im Bauwesen)