In: LNCS 1786: Computer Performance Evaluation, Modelling Techniques and Tools, pages 203-pp. 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 2000. Proceedings / Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (Eds.) --- Springer Verlag, 2000.
Abstract: The compositional representation of a Markov chain using Kronecker algebra, according to a compositional model representation as a superposed generalized stochastic Petri net or a stochastic automata network, has been studied for a while. In this paper we describe a generalized Kronecker structure, and its implementation, which is able to handle synchronization over activities of different levels of priority. The achieved Kronecker structure serves for functional analysis as well as performance analysis based on Markov chains.