Petri-Netz-basiertes Verfahren zur Bewertung und Optimierung von Geschäftsprozessen in Bauunternehmen