TOMSPIN-a tool for modeling with stochastic Petri nets

The authors present a tool for modeling with generalized stochastic Petri nets (GSPNs). TOMSPIN was used for the modeling of multiprocessor architectures on the processor-memory-switch level. The requirements for an effective support of computer system design by a system evaluation tool based on GSPNs are outlined. It is shown that these requirements were met by TOMSPIN. The structure of the software package is described. Recently implemented algorithms for the computation of nonstandard results of GSPNs are discussed. They are illustrated by means of an example.<>