Skip to main content
SpringerLink
Log in

SPNL: Processes as language-oriented building blocks of stochastic Petri nets

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

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

Abstract

This paper presents a modeling paradigm which combines graphical and textual elements for the structured specification of performance and dependability models based on stochastic Petri nets. The aim is to manage the complexity of model specification. In the proposed framework processes are encapsulated submodels which are building blocks as known from modular programming languages. Process interaction is possible via ports, rewards, and result measures. Ports are arcs crossing the process boundaries. Rewards and result measures represent the internal state and actions of a process and are defined in a unified structured manner. A modeling example of a wireless LAN MAC protocol is given to illustrate the flexibility of the approach.

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.

References

  1. M. Ajmone Marsan, G. Chiola, A. Fumagalli. An Accurate Performance Model of CSMA/CD Bus LAN. 1987.

    Google Scholar 

  2. M. Ajmone Marsan, G. Balbo, G. Chiola, S. Donatelli, G. Franceschinis. Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.

    Google Scholar 

  3. M. Baldarassi, G. Bruno. PROTOB: An Object Oriented Methodology Based on Hierachical Colored Petri Nets. In K. Jensen, G. Rozenberg (eds.): High-level Petri Nets, Theory and Application. Springer-Verlag, pp. 624–648, 1991.

    Google Scholar 

  4. F. Bause, P. Kemper, P. Kritzinger. Abstract Petri Net Notation, In F. Bause, H. Beilner (eds.): Perfomance Tools Model Interchange Formats, Research Report 581/1995, Universität Dortmund, Informatik IV.

    Google Scholar 

  5. G. Chiola. GreatSPN 1.5 Software Architecture. In G. Balbo, G. Serazzi (eds.): Computer Performance Evaluation, North-Holland, pp. 121–136, 1991.

    Google Scholar 

  6. G. Ciardo, A. Blakemore, P.F. Chimento, J.K. Muppala, and K.S. Trivedi. Automated Generation of Markov Reward Models using Stochastic Reward Nets. Linear Algebra, Markov Chains, and Queueing Models, Vol. 48 of IMA Volumes in Mathematics and its Applications, Springer Verlag, 1993.

    Google Scholar 

  7. G. Ciardo, A. S. Miner. SMART: Simulation and Markovian Analyzer for Reliability and Timing. Proc. 2nd IEEE Int. Computer Performance & Dependability Symp., Urbana-Champaign, Illinois, USA, p. 60, 1996.

    Google Scholar 

  8. R. German. SPNL: Processes as Language-Oriented Building Blocks of Stochastic Petri Nets. Technical Report 96-37, Technical University Berlin, Computer Science Department, 1996.

    Google Scholar 

  9. R. German, A. P. A. van Moorsel, M. A. Qureshi, W. H. Sanders. Expected Impulse Rewards in Markov Regenerative Stochastic Petri Nets. Proc. 17th Int. Conf. on Application and Theory of Petri Nets, pp. 172–191, Osaka, Japan, Springer-Verlag, LNCS 1091, 1996.

    Google Scholar 

  10. IEEE. P802.11. Draft Standard for Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification, May 1996.

    Google Scholar 

  11. K. Jensen. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Springer-Verlag, 1992.

    Google Scholar 

  12. V. Mainkar, K. S. Trivedi. Fixed Point Iteration Using Stochastic Reward Nets. Proc. 6th Int. Workshop on Petri Nets and Performance Models (PNPM). Durham, North Carolina, USA, pp. 21–30, 1995.

    Google Scholar 

  13. W. H. Sanders, J. F. Meyer. A Unified Approach for Specifying Measures of Performance, Dependability, and Performability. Dependable Computing for Critical Applications, 4 (1991) 215–237, Springer-Verlag.

    Google Scholar 

  14. M. Telek, A. Bobbio, A. Puliafito. Steady State Solution of MRSPN with Mixed Preemption Policies. Proc. 2nd IEEE Int. Computer Performance & Dependability Symp., Urbana-Champaign, Illinois, USA, pp. 106–115, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Prozeßdatenverarbeitung und Robotik, Technische Universität Berlin, Franklinstr. 28/29, 10587, Berlin, Germany

    Reinhard German

Authors
  1. Reinhard German
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Raymond Marie Brigitte Plateau Maria Calzarossa Gerardo Rubino

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

German, R. (1997). SPNL: Processes as language-oriented building blocks of stochastic Petri nets. In: Marie, R., Plateau, B., Calzarossa, M., Rubino, G. (eds) Computer Performance Evaluation Modelling Techniques and Tools. TOOLS 1997. Lecture Notes in Computer Science, vol 1245. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022202

Download citation

  • DOI: https://doi.org/10.1007/BFb0022202

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63101-9

  • Online ISBN: 978-3-540-69131-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation