TOMSPIN — a tool for modelling with stochastic petri nets

  • E. M. Thurner
  • Ch. Wincheringer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1030)


Petri nets have become a wide-spread method to model the behaviour of computing systems. One drawback of standard Petri nets however is the absence of constructs for the notion of time and conflict-probabilties. Generalized Stochastic Petri Nets (GSPNs) have been developed to deal with these constructs.

The program TOMSPIN (Tool for Modelling with Stochastic Petri Nets) supports the full descriptive power of GSPNs. It has been developed to model and to evaluate complex computing systems, such as multiprocessor machines and communicaton systems. In this paper, the structure of TOMSPIN is pointed out, and some examples for its usage in commercial environment are given.

Key words

Modelling performance realiabilty Generalized Stochastic Petri Nets TOMSPIN 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Ajmone Marsan, M.; Balbo, G.; Conte, G.: Performance Models of Multiprocessor Systems. The MIT Press: Cambridge (Mass.), 1986Google Scholar
  2. [2]
    Petri, C. A.: Kommunikation mit Automaten. Dissertation, Universität Bonn, 1962Google Scholar
  3. [3]
    Reisig, W.: Petrinetze. Eine Einführung. Springer-Verlag: Berlin 21986Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • E. M. Thurner
    • 1
  • Ch. Wincheringer
    • 1
  1. 1.Siemens AG, ZFE T SN 1München

Personalised recommendations