Stochastic activity networks: Formal definitions and concepts

William H. Sanders, John F. Meyer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationLectures on Formal Methods andPerformance Analysis - 1st EEF/Euro Summer School on Trends in Computer Science, Revised Lectures
EditorsEd. Brinksma, Holger Hermanns, Joost-Pieter Katoen
PublisherSpringer-Verlag
Pages315-343
Number of pages29
ISBN (Print)3540424792
StatePublished - Jan 1 2001
Event1st EEF/Euro Summer School on Formal Methods and Performance Analysis, FMPA2000 - Berg en Dal, Netherlands
Duration: Jul 3 2000Jul 7 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2090
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other1st EEF/Euro Summer School on Formal Methods and Performance Analysis, FMPA2000
CountryNetherlands
CityBerg en Dal
Period7/3/007/7/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Stochastic activity networks: Formal definitions and concepts'. Together they form a unique fingerprint.

  • Cite this

    Sanders, W. H., & Meyer, J. F. (2001). Stochastic activity networks: Formal definitions and concepts. In E. Brinksma, H. Hermanns, & J-P. Katoen (Eds.), Lectures on Formal Methods andPerformance Analysis - 1st EEF/Euro Summer School on Trends in Computer Science, Revised Lectures (pp. 315-343). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2090). Springer-Verlag.