In: PNPM89. Proceedings of the Third International Workshop On Petri Nets and Performance Models, 1989, Kyoto, Japan, pages 112-121. Los Alamitos, CA, USA: IEEE Computer Society Press, 1990.
Abstract: A VAXcluster is a closely-coupled multicomputer system that consits of two or more VAX computers, one or more hierarchical storage controllers, two or more discs and a star coupler. The Markov model of VAXcluster system availability suffers from state space explosion as the number of VAX computers in the cluster increases. This has necessitated the use of approximate Markov models. In the paper the authors develop exact availability models of VAXcluster systems by means of stochastic Petri nets.
Keywords: stochastic net; VAX cluster; multicomputer system; hierarchical storage controller; Markov model.