petrinetzwerke

Was sind Petri-Netze?

Das Petri-Netz ist ein Modell zur Beschreibung und Analyse von Abläufen mit nebenläufigen Prozessen und nichtdeterministischen Vorgängen. Im Jahre 1962 legte Carl Adam Petri mit seiner Dissertation den Grundstein zur Netztheorie. Mittlerweile hat sich das Petri-Netz in seinen unterschiedlichen Varianten als wichtiges Entwurfs- und Darstellungsinstrument in den verschiedensten Bereichen etabliert. Sie eignen sich für die Beschreibung dynamischer Systeme, die eine feste Grundstruktur besitzen wie beispielsweise Rechenanlagen, Betriebssysteme, Organisationsabläufe (in Büros oder bei Herstellungsverfahren). Sie sind somit für viele unterschiedliche Fragestellungen einzusetzen. Sie verallgemeinern wegen der Fähigkeit, nebenläufige Ereignisse darzustellen, die Automatentheorie.

Carl Adam Petri (* 12. Juli 1926 in Leipzig) ist ein deutscher Mathematiker und Informatiker. Er ist vor allem bekannt durch die nach ihm benannten Petri-Netze zur Modellierung verteilter Systeme.
deterministisch Ein Algorithmus oder Programm wird durch Maschinen schrittweise abgearbeitet. Man spricht von deterministisch, wenn zu jedem Zeitpunkt der Folgeschritt eindeutig bestimmt ist.
Nebenläufigkeit liegt vor, wenn mehrere Ereignisse in keiner kausalen Beziehung zueinander stehen, sich also nicht beeinflussen. Ereignisse sind nebenläufig, wenn keines eine Ursache des anderen ist. Oder anders ausgedrückt: Aktionen können nebenläufig ausgeführt werden (sie sind parallelisierbar), wenn keine das Resultat der anderen benötigt. Eine Modellierungssprache, die diese Abhängigkeiten sehr gut wiedergibt, sind Petri-Netze.
Die Automatentheorie ist ein Teilgebiet der Theoretischen Informatik, das sich mit dem Studium von Automaten (Modellrechnern) und mit den von diesen Automaten lösbaren Problemen beschäftigt.