Stochastic activity networks: Formal definitions and concepts

William H. Sanders, John F. Meyer

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


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
Number of pages29
ISBN (Print)3540424792
StatePublished - 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)
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other1st EEF/Euro Summer School on Formal Methods and Performance Analysis, FMPA2000
CityBerg en Dal

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


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

Cite this