Publication Date


Technical Report Number



Theory of Computation, Computing Methodologies


Timed (or Stochastic) Data Flow Diagrams (TDFD's or SDFD's) introduced in Symanzik and Baker (1996d) are an extension of the Formalized Data Flow Diagrams, defined in Leavens et al. (1996). This extension allows us to assess the quantitative behavior (e. g., performance, throughput, average load of a bubble, etc.) as well as the qualitative behavior (e. g., deadlock, reachability, termination, finiteness, liveness, etc.), eventually depending on different types of transition times, for the system modeled through the TDFD. In this paper, we consider Markovian transition times for the consumption of in--flow items and for the production of items on the out--flow. Moreover, we require the TDFD to be periodic and irreducible and it must have a finite reachability set. For these models, we have been able to apply an aggregation principle of Schassberger (1984), extended for periodic Markov chains by Woo (1993), to efficiently determine stationary probabilities, expected waiting times, and limiting process probabilities.


© Copyright 1996 by Jürgen Symanzik. All rights reserved.