Cantitate/Preț
Produs

Petrinetze: Eine Einführung: Studienreihe Informatik

Autor Wolfgang Reisig
de Limba Germană Paperback – mai 1986
1 d Petrinetze sind für den Entwurf und die Analyse nicht-sequentieller (paralleler) Prozesse und Systeme geeignet. Insbesondere im Hardware- und Software-Entwurf und in der Systemspezifikation werden sie erfolgreich angewendet. Das Buch führt in die grundlegenden Begriffe und Methoden des Gebietes ein. In drei Teilen werden Netze aus Bedingungen und Ereignissen, Stellen/Transitionen-Netze und schließlich Netze mit beliebigen (individuellen) Marken behandelt. Bei den Analysemethoden werden Fakten, Synchronieabstände und Invarianten ausführlich besprochen - also Methoden, die nicht auf sequentiellen Realisierungen paralleler Prozesse beruhen. Der dritte Teil behandelt den Fakten- und Invariantenkalkül für Prädikat/Ereignis-Netze. Das Buch gibt eine geschlossene, einheitliche Darstellung der Grundbegriffe und typischen Anwendungen der Netztheorie. Es bereitet den Leser darauf vor, Petrinetze angemessen anzuwenden und die Spezialliteratur zu lesen.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 35824 lei  6-8 săpt.
  Springer Berlin, Heidelberg – mai 1986 35824 lei  6-8 săpt.
Hardback (1) 22276 lei  38-44 zile
  Vieweg+Teubner Verlag – 15 iul 2010 22276 lei  38-44 zile

Din seria Studienreihe Informatik

Preț: 35824 lei

Preț vechi: 44779 lei
-20% Nou

Puncte Express: 537

Preț estimativ în valută:
6856 7114$ 5730£

Carte tipărită la comandă

Livrare economică 15-29 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540166221
ISBN-10: 354016622X
Pagini: 212
Ilustrații: IX, 196 S.
Dimensiuni: 170 x 242 x 11 mm
Greutate: 0.35 kg
Ediția:2., überarb. u. erw. Aufl.
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Studienreihe Informatik

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Lower undergraduate

Cuprins

1 Einführende Beispiele und grundlegende Definitionen.- 1.1 Beispiele aus verschiedenen Bereichen.- 1.2 Beispiele zur Schaltlogik und zu Betriebssystemen.- 1.3 Nichtsequentielle Programme.- 1.4 Ein Beispiel zur Systemanalyse.- 1.5 Einige grundlegende Definitionen.- 1.6 Zusammenfassung und Ausblick.- Aufgaben zu Kapitel 1.- Erster Teil: Bedingungs/Ereignis-Systeme.- 2 Netze aus Bedingungen und Ereignissen.- 3 Prozesse auf Bedingungs/Ereignis-Systemen.- 4 Systemeigenschaften.- Zweiter Teil: Stellen/Transitionen-Netze.- 5 Netze aus Stellen und Transitionen.- 6 Netz-Invarianten.- 7 Lebendigkeitsuntersuchungen spezieller Netzklassen.- Dritter Teil: Netze Mit Individuen Als Marken.- 8 Prädikat/Ereignis-Netze.- 9 Relationennetze.- Anhang: Mathematische Begriffe und Bezeichnungen.

Notă biografică

Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin

Textul de pe ultima copertă

Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt.
Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.

Inhalt
Grundlegende Konzepte und einfache Beispiele für Anfänger - Tiefer liegende Zusammenhänge für Studierende - Vorbildhafte Fallstudien und Analysen für Praktiker - Separierbare Themen und Aufgaben für Dozenten - Weiterführende Argumente für Experten anderer Modellierungstechniken

Zielgruppe
Studierende der Informatik an Universitäten und Fachhochschulen

Der Autor
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin

Caracteristici

Der anschauliche und fundierte Einstieg in die Petrinetze Includes supplementary material: sn.pub/extras