- Hauptmenü-

Kategorienanzeige

MAB

Petri-Netze
Kategorie	Beschreibung
036a	XA-DE
037b	ger
077a	277973619 Buchausg. u.d.T.: ‡Priese, Lutz, 1947 - : Petri-Netze
087q	978-3-540-76970-5
100b	Priese, Lutz
104b	Wimmel, Harro
331	Petri-Netze
403	2. Auflage
410	Berlin, Heidelberg
412	Springer Berlin Heidelberg
425	2008
425a	2008
433	Online-Ressource (digital)
451b	eXamen.press
527	Buchausg. u.d.T.: ‡Priese, Lutz, 1947 - : Petri-Netze
540a	ISBN 978-3-540-76971-2
700	\|UYA
700	\|COM051010
700	\|*68Q85
700	\|68Q10
700	\|68Q55
700	\|68Q60
700	\|68-01
700	\|68-02
700	\|MAT018000
700	\|PBC
700b	\|005.131
700b	\|511.3
700c	\|QA8.9-QA10.3
700g	127261347X ST 132
750	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.
753	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. Die für das Verständnis der Theorie der Petri-Netze notwendigen mathematischen Begriffe werden ausführlich erläutert und alle Beweis-Techniken detailliert entwickelt. 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 Berechenbarkeitsfrage, die Ausdrucksfähigkeit verschiedener Berechnungsbegriffe, ausgewählte Fragen zur Entscheidbarkeit und Komplexität, sowie auf Petri-Netze mittels Sprachen und partiell geordneten Mengen und deren Charakterisierung.
902s	209065176 Petri-Netz
902s	209492481 Nebenläufigkeit
907s	209065176 Petri-Netz
907s	208921400 Formale Sprache
912s	209065176 Petri-Netz
912s	214169618 Interleaving
917s	209065176 Petri-Netz
917s	209685441 Berechenbarkeit
917s	211346004 Erreichbarkeit
917s	209795204 Entscheidbarkeit
922s	209065176 Petri-Netz
927s	209065176 Petri-Netz
927s	209492481 Nebenläufigkeit
932s	209065176 Petri-Netz
932s	208921400 Formale Sprache
937s	209065176 Petri-Netz
937s	214169618 Interleaving
942s	209065176 Petri-Netz
942s	209685441 Berechenbarkeit
942s	211346004 Erreichbarkeit
942s	209795204 Entscheidbarkeit
947s	209065176 Petri-Netz
012	280592604
081	Petri-Netze
100	Springer E-Book
125a	Elektronischer Volltext - Campuslizenz
655e	$uhttp://dx.doi.org/10.1007/978-3-540-76971-2