Erstmals erläutert dieses Lehrbuch mathematisch präzise, exakt und ausführlich das meist beachtete und am besten untersuchte Modell für nebenläufige, parallele Rechnungen. Die Autoren arbeiten zahlreiche Resultate der Originalliteratur über (Un)möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch auf und stellen sie im Detail einer breiteren Leserschaft vor. Sie erläutern alle für die Beweise notwendigen Techniken und mathematischen Begriffe. Neben den Grundbegriffen und Zusammenhängen konzentrieren sie sich auf einen Algorithmus für die Erreichbarkeitsfrage, die Ausdrucksfähigkeit verschiedener Berechnungsbegriffe u.v.a.m. Ihr Buch empfiehlt sich sowohl für Studierende als auch für Lehrende und Forscher.

Mathematisch präzise Einführung in die Theorie der Petri-Netze Exakte und ausführliche Beweisführung Erstmals: Übertragung der Petri-Netz-Sprachtheorie auf Semantiken mit echter Nebenläufigkeit Includes supplementary material: sn.pub/extras

Klappentext

Petri-Netze sind das am besten untersuchte Modell für nebenläufige, parallele Rechnungen. Das Lehrbuch arbeitet zum ersten Mal zahlreiche Resultate der Originalliteratur über Unmöglichkeiten, Möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch auf und stellt sie im Detail einer breiteren Leserschaft vor. Alle notwendigen Techniken und mathematischen Begriffe werden erläutert. Daher wendet sich diese mathematisch präzise Einführung in die Theorie der Petri-Netze ebenso an Studierende wie an Lehrende und Forscher.

Inhalt
Mathematische Grundlagen.- Mathematische Grundlagen.- Interleaving Verhalten von Petri-Netzen.- Grundlegende Eigenschaften.- Die Entscheidbarkeit des Erreichbarkeitsproblems.- Berechenbarkeit, Erreichbarkeit, Erzeugbarkeit.- Petri-Netz-Sprachen.- True-Concurrency Verhalten von Petri-Netzen.- Pomset- und Stepsprachen.- Algebraische Charakterisierungen.