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.<<ETX>>

[1]  Peter C. Kiessler,et al.  Traffic Processes in Queueing Networks , 1987 .

[2]  Donald Gross,et al.  The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes , 1984, Oper. Res..

[3]  Ward Whitt,et al.  Approximating a Point Process by a Renewal Process, I: Two Basic Methods , 1982, Oper. Res..

[4]  Marco Ajmone Marsan,et al.  Improving the efficiency of the analysis of DSPN models , 1988, European Workshop on Applications and Theory in Petri Nets.

[5]  Kishor S. Trivedi,et al.  Transient Analysis of Acyclic Markov Chains , 1987, Perform. Evaluation.

[6]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[7]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[8]  H. Beilner,et al.  Towards a Performance Modelling Environment: News on Hit , 1989 .

[9]  Guenter Klas,et al.  Subnetwork time distributions as a means for multilevel evaluation of generalized stochastic Petri nets , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.