TY - GEN
T1 - Stochastic activity networks
T2 - 1st EEF/Euro Summer School on Formal Methods and Performance Analysis, FMPA2000
AU - Sanders, William H.
AU - Meyer, John F.
PY - 2001
Y1 - 2001
N2 - 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¨obius), 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.
AB - 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¨obius), 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.
UR - http://www.scopus.com/inward/record.url?scp=84944319215&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84944319215&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84944319215
SN - 3540424792
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 315
EP - 343
BT - Lectures on Formal Methods andPerformance Analysis - 1st EEF/Euro Summer School on Trends in Computer Science, Revised Lectures
A2 - Brinksma, Ed.
A2 - Hermanns, Holger
A2 - Katoen, Joost-Pieter
PB - Springer
Y2 - 3 July 2000 through 7 July 2000
ER -