Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Petri-Netze
Taschenbuch von Harro Wimmel (u. a.)
Sprache: Deutsch

32,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
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.
Zusammenfassung

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.

Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2008
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: eXamen.press
Inhalt: ix
374 S.
ISBN-13: 9783540769705
ISBN-10: 3540769706
Sprache: Deutsch
Herstellernummer: 12185481
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wimmel, Harro
Priese, Lutz
Auflage: 2. Aufl. 2008
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
eXamen.press
Maße: 235 x 155 x 21 mm
Von/Mit: Harro Wimmel (u. a.)
Erscheinungsdatum: 22.02.2008
Gewicht: 0,587 kg
Artikel-ID: 101909469
Zusammenfassung

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.

Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2008
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: eXamen.press
Inhalt: ix
374 S.
ISBN-13: 9783540769705
ISBN-10: 3540769706
Sprache: Deutsch
Herstellernummer: 12185481
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Wimmel, Harro
Priese, Lutz
Auflage: 2. Aufl. 2008
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
eXamen.press
Maße: 235 x 155 x 21 mm
Von/Mit: Harro Wimmel (u. a.)
Erscheinungsdatum: 22.02.2008
Gewicht: 0,587 kg
Artikel-ID: 101909469
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte