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.