Discrete time queueing networks with product form steady state. Availability and performance analysis in an integrated model

For a discrete time network of generalized Bernoulli servers with unreliable nodes we derive the steady state probabilities for the joint queue length vector for all nodes and the availability status of the network. This allows us to assess the performance behavior and the reliability, resp. availability, of the network in an integrated model. Because our result exhibits a product form for the steady state distribution it opens the path to fast algorithmic evaluation of the desired performance and reliability indices.