TOMSPIN — a tool for modelling with stochastic petri nets
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 wordsModelling performance realiabilty Generalized Stochastic Petri Nets TOMSPIN
Unable to display preview. Download preview PDF.
- Ajmone Marsan, M.; Balbo, G.; Conte, G.: Performance Models of Multiprocessor Systems. The MIT Press: Cambridge (Mass.), 1986Google Scholar
- Petri, C. A.: Kommunikation mit Automaten. Dissertation, Universität Bonn, 1962Google Scholar
- Reisig, W.: Petrinetze. Eine Einführung. Springer-Verlag: Berlin 21986Google Scholar