Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Beschreibung
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.
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.
Über den Autor
Lutz Priese hat in mathematischer Logik in Münster promoviert und war von 1980 bis Ende 2012 Professor für Informatik in Paderborn und Koblenz und in 1998 Firmengründer. In seinem Ruhestand hält er seit 2013 regelmäßig Vorlesungen zu Computer Vision und in 2018 auch zu Aspekten des Unendlichen.
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, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: eXamen.press
Inhalt: ix
374 S.
ISBN-13: 9783540769705
ISBN-10: 3540769706
Sprache: Deutsch
Herstellernummer: 12185481
Einband: Kartoniert / Broschiert
Autor: Priese, Lutz
Wimmel, Harro
Auflage: 2. Auflage 2008
Hersteller: Springer
Springer-Verlag GmbH
eXamen.press
Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com
Maße: 235 x 155 x 21 mm
Von/Mit: Lutz Priese (u. a.)
Erscheinungsdatum: 22.02.2008
Gewicht: 0,587 kg
Artikel-ID: 101909469

Ähnliche Produkte