Petrinetze
Springer Berlin (Verlag)
978-3-540-16622-1 (ISBN)
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 |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich