Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
Herstellerkennzeichnung
Die Herstellerinformationen sind derzeit nicht verfügbar.
Inhaltsangabe
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.- 4 Timed und stochastische Petri-Netze.- 4.1 Timed Petri-Netze (TPNs).- 4.2 Stochastische Petri-Netze (SPNs).- 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.3 Untersuchung allgemeiner Netzstrukturen.- 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.