E-Book, Deutsch, 374 Seiten, eBook
Reihe: eXamen.press
Priese / Wimmel Petri-Netze
2. Auflage 2008
ISBN: 978-3-540-76971-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Deutsch, 374 Seiten, eBook
Reihe: eXamen.press
ISBN: 978-3-540-76971-2
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Petri-Netze sind das am besten untersuchte Modell für nebenläufige, parallele Rechnungen. Das Lehrbuch arbeitet zum ersten Mal zahlreiche Resultate der Originalliteratur über Unmöglichkeiten, Möglichkeiten und die Komplexität der Ausdrucksmittel von Petri-Netzen didaktisch auf und stellt sie im Detail einer breiteren Leserschaft vor. Alle notwendigen Techniken und mathematischen Begriffe werden erläutert. Daher wendet sich diese mathematisch präzise Einführung in die Theorie der Petri-Netze ebenso an Studierende wie an Lehrende und Forscher.
Zielgruppe
Upper undergraduate
Autoren/Hrsg.
Weitere Infos & Material
Mathematische Grundlagen.- Mathematische Grundlagen.- Interleaving Verhalten von Petri-Netzen.- Grundlegende Eigenschaften.- Die Entscheidbarkeit des Erreichbarkeitsproblems.- Berechenbarkeit, Erreichbarkeit, Erzeugbarkeit.- Petri-Netz-Sprachen.- True-Concurrency Verhalten von Petri-Netzen.- Pomset- und Stepsprachen.- Algebraische Charakterisierungen.




