PetriNetPrimer

Petri-Netze modellieren nebenläufige und verteilte Systeme, in denen aktive Komponenten durch die Produktion und Absorption verschiedener Arten von Ressourcen kommunizieren. Obwohl die dynamischen Eigenschaften solcher Systeme sehr komplex sein können, sind sie manchmal mit der statischen Struktur eines Petri-Netzes verbunden. Viele Eigenschaften sind entscheidbar, aber ihre Komplexität kann enorm sein. Es ist oft sinnvoll, sich auf Klassen von Systemen, auf partielle Algorithmen und auf ähnliche, aber einfachere Eigenschaften zu beschränken. Anstatt ein gegebenes System zu analysieren, ist es auch möglich, ein System zu konstruieren, das bestimmte gewünschte Eigenschaften erfüllt. Dieses umfassende Lehrbuch/Referenzwerk behandelt diese Themen eingehend im Kontext eines der grundlegendsten Petri-Netz-Modelle, den sogenannten Platz-/Übergangsnetzen. Die Präsentation wird durch zahlreiche Beispiele und bearbeitete Übungen ergänzt. Zu den behandelten Themen gehören:
• In welcher Reihenfolge können Aktionen generiert und geplant werden?
• Welche Zustände und Konfigurationen können in einem nebenläufigen System erreicht werden?
• Welche interessanten Klassen von Systemen können relativ effizient analysiert werden?
• Ist es möglich, ein System einer bestimmten Klasse aus seinem Verhalten zu synthetisieren?
• Wie können Systeme algebraisch, kompositorisch und prägnant dargestellt werden?

Dieser einzigartige Text, der auf einführenden sowie fortgeschrittenen Kursen zu verteilten Systemen basiert, wird als unschätzbarer Leitfaden für Studierende und zukünftige Forscher dienen, die an theoretischen sowie praktischen Aspekten von Petri-Netzen und verwandten Systemmodellen interessiert sind. Eike Best war Professor (jetzt im Ruhestand) an der Carl von Ossietzky Universität Oldenburg, Deutschland. Raymond Devillers war Professor (jetzt im Ruhestand) an der Université Libre de Bruxelles, Belgien. Die Autoren haben eine lange Zusammenarbeit in den Bereichen Petri-Netze und Semantik der Nebenläufigkeit.