Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
Ajmone Marsan, M.; Balbo, G.; Conte, G.: Performance Models of Multiprocessor Systems. The MIT Press: Cambridge (Mass.), 1986
Petri, C. A.: Kommunikation mit Automaten. Dissertation, Universität Bonn, 1962
Reisig, W.: Petrinetze. Eine Einführung. Springer-Verlag: Berlin 21986
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Thurner, E.M., Wincheringer, C. (1996). TOMSPIN — a tool for modelling with stochastic petri nets. In: Pichler, F., Díaz, R.M., Albrecht, R. (eds) Computer Aided Systems Theory — EUROCAST '95. EUROCAST 1995. Lecture Notes in Computer Science, vol 1030. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0034767
Download citation
DOI: https://doi.org/10.1007/BFb0034767
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60748-9
Online ISBN: 978-3-540-49358-7
eBook Packages: Springer Book Archive