QPN-Tool for qualitative and quantitative analysis of queueing Petri nets | SpringerLink
Skip to main content
Springer Nature Link
Log in

QPN-Tool for qualitative and quantitative analysis of queueing Petri nets

  • Full Papers
  • Conference paper
  • First Online:
Computer Performance Evaluation Modelling Techniques and Tools (TOOLS 1994)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 794))

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 to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. M. Ajmone-Marsan, G. Balbo, G. Conti. Performance Models of Multiprocessor Systems. MIT Press Series in Computer Science, 1986.

    Google Scholar 

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

    Google Scholar 

  3. F. Bause. Queueing Petri Nets: a formalism for the combined qualitative and quantitative analysis of systems. In [21].

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  6. F. Bause, P. Kemper. Queueing Petri nets. In Proceedings of the 3rd Fachtagung Entwurf komplexer Automatisierungssysteme, Braunschweig. Technische Universität Braunschweig (Germany), May 1993.

    Google Scholar 

  7. E. Gelenbe, G. Pujolle. Introduction to Queueing Networks. John Wiley & Sons, 1987.

    Google Scholar 

  8. P. Buchholz. Die strukturierte Analyse Markovscher Modelle. Informatik-Fachberichte, 282, Springer, 1991.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  12. G. Ciardo, J. Muppala, K. Trivedi. SPNP: Stochastic Petri Net Package. In [19].

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  15. L. Kleinrock. Queueing Systems. Volume 1: Theory. John Wiley and Sons, 1975.

    Google Scholar 

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

    Google Scholar 

  17. J.L. Peterson. Petri Nets and the Modelling of Systems. MIT Press Series in Computer Science, 1981.

    Google Scholar 

  18. Proceedings of the 2nd International Workshop on Petri Nets and Performance Models, Madison (USA). IEEE Computer Society Press, 1987.

    Google Scholar 

  19. Proceedings of the 3rd International Workshop on Petri Nets and Performance Models, Kyoto (Japan). IEEE Computer Society Press, 1989.

    Google Scholar 

  20. Proceedings of the 4th International Workshop on Petri Nets and Performance Models, Melbourne (Australia). IEEE Computer Society Press, 1991.

    Google Scholar 

  21. Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse (France). IEEE Computer Society Press, 1993.

    Google Scholar 

  22. W. Reisig. Petri Nets. An Introduction, volume 4. EATCS Monographs on Theoretical Computer Science, Berlin, 1985, Springer.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl Informatik IV, Universität Dortmund, 44221, Dortmund, Germany

    Falko Bause & Peter Kemper

Authors
  1. Falko Bause
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Kemper
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Günter Haring Gabriele Kotsis

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation