Petri-Netze
Priese, Lutz, Wimmel, Harro
| Autor: | Priese, Lutz Wimmel, Harro |
|---|---|
| Themengebiete: | Algorithmus Diskret (mathematisch) Graph - Graphentheorie Informatik Kombinatorik Mathematik Mathematik / Informatik, Computer Mathematik / Logik Petri-Netz Schnittstelle (EDV) |
| Veröffentlichungsdatum: | 22.02.2008 |
| EAN: | 9783540769705 |
| Auflage: | 002 |
| Sprache: | Deutsch |
| Seitenzahl: | 388 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer Springer-Verlag GmbH Springer Vieweg |
Produktinformationen "Petri-Netze"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen