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.