NSMC '99
Numerical Solution of Markov Chains.
Zaragoza, Spain
Proceedings Published by
Prensas Universitarias de Zaragoza
``Numerical Solution of Markov Chains''
Edited by
B. Plateau, W.J. Stewart and M. Silva
Proceedings of the 3rd International Workshop on the
Numerical Solution of Markov Chains is a collection of
peerreviewed articles presented at the Workshop on Numerical
Solutions of Markov Chains which was held in September 1999
in Zaragoza, Spain.
The meeting was held jointly with
 PNPM '99: 8th International Workshop on Petri Nets and
Performance Models.
 PAPM '99: Process Algebra and Performance Modelling Workshop
Publisher
Editado por Prensas Universitarias de Zaragoza
C/ Pedro Cerbuna, 12
ISBN: 8477335125
Table of Contents

An efficient and accurate decomposition method for open finite and infinite
buffer queueing networks.
R. Sadre, B. Haverkort, A.Ost.

An aggregationbased solution method for M/G/1type processes.
G. Ciardo, A. Riska, E. Smirni.

A class of Markov processes on a semiinfinite strip.
I. Adan, J. Resing.

Distributed diskbased solution techniques for large Markov models.
W. Knottenbelt, P. Harrison.

Distributed steady state analysis using Kronecker algebra.
P. Buchholz, M.Fischer, P. Kemper.

Experimental study of parallel iterative solutions of Markov chains.
with block partitions.
V. Migallon, J. Penades, D. Szyld.

Cascaded deterministic and stochastic Petri nets.
R. German.

Computational properties of algorithm "Refund" for the
fundamental/group inverse matrix of a Markov chain.
I. Sonin, J. Thornton.

Projection methods for the analysis of stochastic automata networks.
P. Buchholz.

Performability analysis of Markov reward models with rate and impulse rewards.
S. Racz, M. Telek.

Multiterminal binary decision diagrams to represent and analyse
continuous time Markov chains.
H. Hermanns, J. Kayser, M. Siegle.

Bounds for rewards of systems with client/server interaction.
S. Donatelli, S. Haddad, P. Moreau, M. Sene.

Stochastic comparison, reorderings and NCD Markov chains.
T. Dayar, N. Pekergin.

A new algorithm for the design of finite capacity service units.
D. Bini, S. Chakravarthy, B. Meini.

Analysis of a delayloss system with a superimposed Markovian arrival
process and statedependant service times.
U. Krieger, V. Naumov.

Modelling and simulation of interference noise in electronic
integrated circuits using Markov chain models.
A. Demir, P. Feldmann.

Efficiency of an IPhP3 illustrated through a model in
cellular networks.
M. Remiche.

A Markovian approach on analyzing the performance of parallel/distributed
simulation under general computational graphs.
J. Lui, W. Lam.
Posters

Stochastic automata networks: Using structural properties to
reduce the state space.
J.M. Fourneau.

Asynchronous iterations for the solution of Markov systems.
M. Jarraya, D. El Baz.

Using nonsymmetric permutations to solve large Markov chains.
F. Quessette, A. Troubnikoff.

Reliability computation of systems that operate in multiple
phases and multiple missions.
D. Twigg, A. Ramesh, U. Sandadi, A. Anand, C. Sharma.