Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Petrinetze
Eine Einführung
Taschenbuch von Wolfgang Reisig
Sprache: Deutsch

54,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
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.
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.
Zusammenfassung
1 d
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 1986
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Studienreihe Informatik
Inhalt: ix
196 S.
ISBN-13: 9783540166221
ISBN-10: 354016622X
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Reisig, Wolfgang
Auflage: 2. überarbeitete und erweiterte Aufl.
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Studienreihe Informatik
Maße: 242 x 170 x 12 mm
Von/Mit: Wolfgang Reisig
Erscheinungsdatum: 01.05.1986
Gewicht: 0,372 kg
Artikel-ID: 106824119
Zusammenfassung
1 d
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 1986
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Studienreihe Informatik
Inhalt: ix
196 S.
ISBN-13: 9783540166221
ISBN-10: 354016622X
Sprache: Deutsch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Reisig, Wolfgang
Auflage: 2. überarbeitete und erweiterte Aufl.
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Studienreihe Informatik
Maße: 242 x 170 x 12 mm
Von/Mit: Wolfgang Reisig
Erscheinungsdatum: 01.05.1986
Gewicht: 0,372 kg
Artikel-ID: 106824119
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte