Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Petri-Netze
.
Bookmark für diesen Satz setzen
Katalogdatensatz500128744
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500128744
.
Kataloginformation
Feldname
Details
Vorliegende Sprache
ger
Hinweise auf parallele Ausgaben
277973619 Buchausg. u.d.T.: ‡Priese, Lutz, 1947 - : Petri-Netze
ISBN
978-3-540-76970-5
Name
Priese, Lutz
Wimmel, Harro
ANZEIGE DER KETTE
Wimmel, Harro
T I T E L
Petri-Netze
Auflage
2. Auflage
Verlagsort
Berlin, Heidelberg
Verlag
Springer Berlin Heidelberg
Erscheinungsjahr
2008
2008
Umfang
Online-Ressource (digital)
Reihe
eXamen.press
Titelhinweis
Buchausg. u.d.T.: ‡Priese, Lutz, 1947 - : Petri-Netze
ISBN
ISBN 978-3-540-76971-2
Klassifikation
UYA
COM051010
*68Q85
68Q10
68Q55
68Q60
68-01
68-02
MAT018000
PBC
005.131
511.3
QA8.9-QA10.3
ST 132
Kurzbeschreibung
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.
2. Kurzbeschreibung
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.
1. Schlagwortkette
Petri-Netz
Nebenläufigkeit
1. Schlagwortkette ANZEIGE DER KETTE
Petri-Netz -- Nebenläufigkeit
2. Schlagwortkette
Petri-Netz
Formale Sprache
2. Schlagwortkette ANZEIGE DER KETTE
Petri-Netz -- Formale Sprache
3. Schlagwortkette
Petri-Netz
Interleaving
3. Schlagwortkette ANZEIGE DER KETTE
Petri-Netz -- Interleaving
4. Schlagwortkette
Petri-Netz
Berechenbarkeit
Erreichbarkeit
Entscheidbarkeit
4. Schlagwortkette ANZEIGE DER KETTE
Petri-Netz -- Berechenbarkeit -- Erreichbarkeit -- Entscheidbarkeit
5. Schlagwortkette
Petri-Netz
5. Schlagwortkette ANZEIGE DER KETTE
Petri-Netz
6. Schlagwortkette
Petri-Netz
Nebenläufigkeit
ANZEIGE DER KETTE
Petri-Netz -- Nebenläufigkeit
7. Schlagwortkette
Petri-Netz
Formale Sprache
ANZEIGE DER KETTE
Petri-Netz -- Formale Sprache
8. Schlagwortkette
Petri-Netz
Interleaving
ANZEIGE DER KETTE
Petri-Netz -- Interleaving
9. Schlagwortkette
Petri-Netz
Berechenbarkeit
Erreichbarkeit
Entscheidbarkeit
ANZEIGE DER KETTE
Petri-Netz -- Berechenbarkeit -- Erreichbarkeit -- Entscheidbarkeit
10. Schlagwortkette
Petri-Netz
ANZEIGE DER KETTE
Petri-Netz
SWB-Titel-Idn
280592604
Signatur
Springer E-Book
Bemerkungen
Elektronischer Volltext - Campuslizenz
Elektronische Adresse
$uhttp://dx.doi.org/10.1007/978-3-540-76971-2
Internetseite / Link
Volltext
Siehe auch
Cover
Siehe auch
Inhaltsverzeichnis
Siehe auch
Kapitel 1
Siehe auch
Inhaltstext
.
ISBD-Anzeige
Katalogdatensatz500128744
.
Kategorien-Anzeige
Katalogdatensatz500128744
.
Verwandte Werke
Katalogdatensatz500128744
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500128744
.
Kataloginformation500128744
Datensatzanfang
.
Kataloginformation500128744
Seitenanfang
.
Titel vormerken
Katalogdatensatz500128744
Vollanzeige Katalogdaten
Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.
Im Bereich
Kataloginformation
werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.
Der Bereich
Exemplarinformationen
enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche
Suche nach