Ebook: Theoretische Informatik: Petri-Netze

Petri-Netze sind das meist beachtete und am besten untersuchte Modell f?r nebenl?ufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur ?ber Unm?glichkeiten, M?glichkeiten und die Komplexit?t der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle f?r die Beweise notwendigen Techniken und mathematischen Begriffe werden erl?utert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenh?nge insbesondere auf einen Algorithmus f?r die Erreichbarkeitsfrage, die Ausdrucksf?higkeit verschiedener Berechnungsbegriffe, ausgew?hlte Fragen zur Entscheidbarkeit und Komplexit?t, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung.

---

Petri-Netze sind das meist beachtete und am besten untersuchte Modell f?r nebenl?ufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur ?ber Unm?glichkeiten, M?glichkeiten und die Komplexit?t der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle f?r die Beweise notwendigen Techniken und mathematischen Begriffe werden erl?utert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenh?nge insbesondere auf einen Algorithmus f?r die Erreichbarkeitsfrage, die Ausdrucksf?higkeit verschiedener Berechnungsbegriffe, ausgew?hlte Fragen zur Entscheidbarkeit und Komplexit?t, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung.
Content:
Front Matter....Pages I-IX
Einleitung....Pages 1-26
Mathematische Grundlagen....Pages 27-46
Front Matter....Pages 47-47
Grundlegende Eigenschaften....Pages 49-91
Die Entscheidbarkeit des Erreichbarkeitsproblems....Pages 93-118
Berechenbarkeit, Erreichbarkeit, Erzeugbarkeit....Pages 119-188
Petri-Netz-Sprachen....Pages 189-241
Front Matter....Pages 243-243
Pomset- und Stepsprachen....Pages 245-292
Algebraische Charakterisierungen....Pages 293-341
Back Matter....Pages 343-376

---

Petri-Netze sind das meist beachtete und am besten untersuchte Modell f?r nebenl?ufige, parallele Rechnungen. In diesem Lehrbuch werden zum ersten Mal zahlreich Resultate der Originalliteratur ?ber Unm?glichkeiten, M?glichkeiten und die Komplexit?t der Ausdrucksmittel von Petri-Netzen didaktisch aufgearbeitet und im Detail einer breiteren Leserschaft vorgestellt. Alle f?r die Beweise notwendigen Techniken und mathematischen Begriffe werden erl?utert. Damit wendet sich das Buch sowohl an Studierende als auch an Lehrende und Forscher. Der Inhalt konzentriert sich neben einer Darstellung der Grundbegriffe und deren Zusammenh?nge insbesondere auf einen Algorithmus f?r die Erreichbarkeitsfrage, die Ausdrucksf?higkeit verschiedener Berechnungsbegriffe, ausgew?hlte Fragen zur Entscheidbarkeit und Komplexit?t, sowie Petri-Netz Semantiken mittels Sprachen und partiell geordneten Mengen und deren algebraische Charakterisierung.
Content:
Front Matter....Pages I-IX
Einleitung....Pages 1-26
Mathematische Grundlagen....Pages 27-46
Front Matter....Pages 47-47
Grundlegende Eigenschaften....Pages 49-91
Die Entscheidbarkeit des Erreichbarkeitsproblems....Pages 93-118
Berechenbarkeit, Erreichbarkeit, Erzeugbarkeit....Pages 119-188
Petri-Netz-Sprachen....Pages 189-241
Front Matter....Pages 243-243
Pomset- und Stepsprachen....Pages 245-292
Algebraische Charakterisierungen....Pages 293-341
Back Matter....Pages 343-376
....