Petri-Netze [German]

By Harro Wimmel and Lutz Priese

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.

• Format: Paperback
• Language: German
• ISBN: 3540769706
• ISBN13: 9783540769705
• Release Date: February 2008
• Publisher: Springer
• Length: 374 Pages
• Weight: 1.19 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"