Petrinetze

Grundlagen Petri-Netze

Eine weitere formale Beschreibungsmethode für den Ablauf von Prozessen stellen die Petri-Netze dar (benannt nach ihrem Erfinder Carl Adam Petri).

Ein Petri-Netz ist ein markierter Graph, in dem die Knoten die Prozesse und ihre zugehörigen Zustände darstellen und die Kanten deren Ablaufbeziehungen symbolisieren.

Einsatzgebiete für Petri-Netze

Petri-Netze werden in vielen Bereichen der Datenverarbeitung eingesetzt,

• um Abläufe zu modellieren (z. B. Kommunikationsprotokolle)
• um parallele Programmabläufe zu modellieren,
• um verteilte Datenbankarbeiten zu planen und
• im Rahmen des Requirements Engineering, d.h. in den ersten Phasen des Systementwurfs.