Stochastic Activity Networks: Formal Definitions and Concepts

Stochastic Activity Networks: Formal Definitions and Concepts

Stochastic activity networks have been used since the mid-1980s for performance, dependability, and performability evaluation. They have been used as a modeling formalism in three modeling tools (METASAN, UltraSAN, and Möbius), and have been used to evaluate a wide range of systems. This chapter pro...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Sanders, William H., Meyer, John F.
Format: Buchkapitel
Sprache:eng
Schlagworte:
Activity Choice
Activity Network
Applied sciences
Computer science
control theory
systems
Computer systems performance. Reliability
Exact sciences and technology
Input Gate
Output Gate
Output Place
Software
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Stochastic activity networks have been used since the mid-1980s for performance, dependability, and performability evaluation. They have been used as a modeling formalism in three modeling tools (METASAN, UltraSAN, and Möbius), and have been used to evaluate a wide range of systems. This chapter provides the formal definitions and basic concepts associated with SANs, explaining their behavior and their execution policy precisely.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-44667-2_9