Details

Autor(en) / Beteiligte

• Reisig, Wolfgang

Titel

Petrinetze : Eine Einführung [electronic resource]

Auflage

1st ed. 1982

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg

Erscheinungsjahr

1982

Link zum Volltext

• SpringerLink Books - AutoHoldings

Beschreibungen/Notizen

• Bibliographic Level Mode of Issuance: Monograph
• 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 -- 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 -- Quellen.
• German