Blick ins Buch

Petrinetze

Eine Einführung

Wolfgang Reisig (Autor)

Buch | Softcover

IX, 196 Seiten

1986 | 2. Auflage 1986
Springer Berlin (Verlag)
978-3-540-16622-1 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Prof. Dr. Wolfgang Reisig is a professor at Humboldt Universität zu Berlin, Germany. He has over 30 years experience in the theory, applications, and teaching of Petri nets and related techniques; and he has been closely involved in the key community initiatives such as related conferences. Among his books are titles in the areas of Petri nets, distributed algorithmsm, and computational systems biology.

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.

Erscheint lt. Verlag	1.5.1986
Reihe/Serie	Studienreihe Informatik
Zusatzinfo	IX, 196 S.
Verlagsort	Berlin
Sprache	deutsch
Maße	170 x 242 mm
Gewicht	362 g
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Betriebssystem • E-Netz • Entwurf • Hardware • Klassen • Petrinetze • Software • Systemanalyse
ISBN-10	3-540-16622-X / 354016622X
ISBN-13	978-3-540-16622-1 / 9783540166221
Zustand	Neuware