Funktionale Analyse zeitbehafteter Petri-Netze [Paperback]

1 Einleitung.- 2 Grundlegende Begriffe aus der Petri-Netz-Theorie.- 2.1 Stellen/Transitions-Netze.- 2.2 Farbige Petri-Netze.- 3 Analyseziele und -techniken f?r Petri-Netze.- 3.1 Analyseziele.- 3.2 Analysetechniken.- 3.2.1 Aufbau des Zustandsraumes.- 3.2.2 Invariantenanalyse.- 3.2.3 Analysetechniken f?r spezielle Netzldassen.- 3.2.3.1 Netzklassen und Lebendigkeit.- 3.2.3.2 Netzklassen und Beschr?nktheit bzw. Sicherheit.- 3.2.3.3 Netzklassen und die Existenz von home states.- 3.2.4 Reduktions- und Synthesemethoden.- 3.2.5 Aussagen ?ber strukturelle Analyseziele.- 4 Timed und stochastische Petri-Netze.- 4.1 Timed Petri-Netze (TPNs).- 4.1.1 Zeit an den Transitionen.- 4.1.2 Zeit an den Stellen.- 4.2 Stochastische Petri-Netze (SPNs).- 4.2.1 Zeit an den Transitionen.- 4.2.2 Zeit an den Stellen.- 5 Wesentliche nicht invariante Modelleigenschaften bei Integration des Zeitbegriffs in Petri-Netze.- 5.1 Beispiele.- 6 Untersuchung ?ber die Invarianz wesentlicher Modelleigenschaften.- 6.1 Erste Aussagen.- 6.2 Untersuchung von extended free choice-Netzen.- 6.2.1 Nullzeitfallen und Lebendigkeit.- 6.2.2 Existenz von home states.- 6.3 Untersuchung allgemeiner Netzstrukturen.- 6.3.1 Nullzeitfallen und Lebendigkeit.- 6.3.2 Existenz von home states.- 7 Zur funktionalen und quantitativen Analyse zeitbehafteter Petri-Netze.- 8 Schlu?wort.- 9 Literatur.- Anhang A: Grundlegende Begriffe aus der Markov-Theorie.- Anhang B: Zur Analyse von GSPNs.- Anhang C: Notationen.Springer Book Archives