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.
| Author: Lutz Priese |
| Publisher: Springer |
| Publication Date: Feb 22, 2008 |
| Number of Pages: 374 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540769706 |
| ISBN-13: 9783540769705 |