Details

Autor(en) / Beteiligte

• Hedtstück, Ulrich

Titel

Grafische Modellierungsformalismen

Ist Teil von

• Simulation diskreter Prozesse, p.215-224

Ort / Verlag

Berlin, Heidelberg: Springer Berlin Heidelberg

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• In Kapitel 11 werden zunächst die wichtigsten Grundlagen der Aussagenlogik behandelt, die für das Verständnis der durch die Nebenläufigkeit entstehenden Verzweigungsproblematiken notwendig sind. Es werden dann die grundlegenden Prinzipien des grafischen Beschreibungsformalismus der Petri-Netze beschrieben, der das theoretische Fundament vieler in der Praxis verwendeten Modellierungsformalismen für diskrete Prozesse, insbesondere für Geschäftsprozesse, bildet. Dabei wird der Schwerpunkt auf die Modellierung von Objektflüssen mit Inanspruchnahme von Ressourcen auf der Basis eines kontinuierlichen Zeitparameters gelegt und entsprechende erweiterte Petri-Netz-Typen vorgestellt.