Lutz Priese,
Harro Wimmel
Springer Berlin Heidelberg
2e druk, 2008
9783540769705
Petri-Netze
Specificaties
Paperback, 374 blz.
|
Duits
Springer Berlin Heidelberg |
2e druk, 2008
ISBN13: 9783540769705
Rubricering
Onderdeel van serie
eXamen.press
Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783540769705
Taal:Duits
Bindwijze:paperback
Aantal pagina's:374
Uitgever:Springer Berlin Heidelberg
Druk:2
Serie:eXamen.press
Inhoudsopgave
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.