Abstract
Synchronisation and concurrency aspects as well as sharing of resources are common features of distributed systems. Modelling the last aspect, especially the scheduling strategy amongst competing jobs, can be extremely hard using (Coloured) Generalized Stochastic Petri nets (CGSPNs). Queueing Petri nets (QPNs) provide additional elements for a convenient specification of such queueing situations. QPNs can be used for qualitative analysis employing efficient techniques from Petri net theory, and performance analysis (quantitative analysis) exploiting Markovian analysis algorithms.
QPN-Tool supports both forms of analysis and offers a convenient graphical interface enabling also unexperienced users to specify and analyse their system using the QPN model world.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
M. Ajmone-Marsan, G. Balbo, G. Conti. Performance Models of Multiprocessor Systems. MIT Press Series in Computer Science, 1986.
M. Ajmone-Marsan, G. Conti, G. Balbo. A class of Generalised Stochastic Petri Nets for the performance evaluation of multiprocessor systems. A CM Transactions on Computer Systems, 2:93–122, 1984.
F. Bause. Queueing Petri Nets: a formalism for the combined qualitative and quantitative analysis of systems. In [21].
F. Bause, H. Beilner. Eine Modellwelt zur Integration von Warteschlangen-und Petri-Netz-Modellen. In Proceedings of the 5th GI/ITG-Fachtagung, Messung, Modellierung und Bewertung von Rechensystemen und Netzen, pages 190–204. Gesellschaft für Informatik (GI), Braunschweig (Germany), September 1989.
F. Bause, P. Buchholz, P. Kemper. Hierarchically Combined Queueing Petri Nets, 11th International Conference on Analysis and Optimizations of Systems, Discrete Event Systems, Sophia-Antipolis (France), June 1994.
F. Bause, P. Kemper. Queueing Petri nets. In Proceedings of the 3rd Fachtagung Entwurf komplexer Automatisierungssysteme, Braunschweig. Technische Universität Braunschweig (Germany), May 1993.
E. Gelenbe, G. Pujolle. Introduction to Queueing Networks. John Wiley & Sons, 1987.
P. Buchholz. Die strukturierte Analyse Markovscher Modelle. Informatik-Fachberichte, 282, Springer, 1991.
P. Buchholz, J. Dunkel, B. Müller-Clostermann, M. Sczittnick, S. Zäske. Quantitative Systemanalyse mit Markovschen Ketten. Eine Darstellung für Informatiker und Ingenieure Teubner-Verlag, to be published.
G. Chiola, G. Bruno, T. Demaria. Introducing a Color Formalism into Generalized Stochastic Petri Nets. In Proceedings of the 9th International Workshop on Application and Theory of Petri Nets, Venice (Italy), pp 202–215, 1988.
G. Chiola. GreatSPN 1.5 Software Architecture. In Proceedings of the 5th International Conference Modeling Techniques and Tools for Computer Performance Evaluation, Torino (Italy), Feb. 1991.
G. Ciardo, J. Muppala, K. Trivedi. SPNP: Stochastic Petri Net Package. In [19].
P. Kemper. Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net. In M. Ajmone-Marsan, editor, Application and Theory of Petri Nets 1993, LNCS 691, pages 319–338, Berlin, 1993. Springer.
P. Kemper, F. Bause. An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets. In K. Jensen, editor, Application and Theory of Petri Nets 199S, LNCS 616, pages 263–278, Berlin, 1992. Springer.
L. Kleinrock. Queueing Systems. Volume 1: Theory. John Wiley and Sons, 1975.
K. Lautenbach. Linear algebraic calculation of deadlocks and traps. In K. Voss, H.J. Genrich, and G. Rozenberg, editors, Concurrency and Nets, Advances of Petri Nets, Berlin, 1987. Springer.
J.L. Peterson. Petri Nets and the Modelling of Systems. MIT Press Series in Computer Science, 1981.
Proceedings of the 2nd International Workshop on Petri Nets and Performance Models, Madison (USA). IEEE Computer Society Press, 1987.
Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, Kyoto (Japan). IEEE Computer Society Press, 1989.
Proceedings of the 4th International Workshop on Petri Nets and Performance Models, Melbourne (Australia). IEEE Computer Society Press, 1991.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse (France). IEEE Computer Society Press, 1993.
W. Reisig. Petri Nets. An Introduction, volume 4. EATCS Monographs on Theoretical Computer Science, Berlin, 1985, Springer.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bause, F., Kemper, P. (1994). QPN-Tool for qualitative and quantitative analysis of queueing Petri nets. In: Haring, G., Kotsis, G. (eds) Computer Performance Evaluation Modelling Techniques and Tools. TOOLS 1994. Lecture Notes in Computer Science, vol 794. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58021-2_18
Download citation
DOI: https://doi.org/10.1007/3-540-58021-2_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58021-8
Online ISBN: 978-3-540-48416-5
eBook Packages: Springer Book Archive