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

  • Reinhard German
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1245)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. Ajmone Marsan, G. Chiola, A. Fumagalli. An Accurate Performance Model of CSMA/CD Bus LAN. 1987.Google Scholar
  2. [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. [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. [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. [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. [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. [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. [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. [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. [10]
    IEEE. P802.11. Draft Standard for Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specification, May 1996.Google Scholar
  11. [11]
    K. Jensen. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Springer-Verlag, 1992.Google Scholar
  12. [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. [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. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Reinhard German
    • 1
  1. 1.Prozeßdatenverarbeitung und RobotikTechnische Universität BerlinBerlinGermany

Personalised recommendations