Skip to main content
Springer Nature Link
Log in

Transient analysis of deterministic and stochastic Petri nets with TimeNET

  • Conference paper
  • First Online:
Quantitative Evaluation of Computing and Communication Systems (TOOLS 1995)

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

  • 221 Accesses

Abstract

This paper descibes the transient analysis component for deterministic and stochastic Petri nets which has recently been added to the software package TimeNET. The technique is based on the derivation of state equations by the method of supplementary variables. The system of equations consists of partial and ordinary differential equations which are combined with initial and boundary conditions. Algorithms for the numerical analysis of the equations are presented. Emphasis is put on implementation aspects. Different cases are identified for which different variants of the algorithms can be used. The computational complexity is investigated by asymptotical expressions and by measurements. Several examples are used in order to illustrate the modeling process and transient analysis with TimeNET.

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. On Petri Nets with Deterministic and Exponentially Distributed Firing Times. Advances in Petri Nets 1986, Lecture Notes in Computer Science 266, pp. 132–145, Springer 1987.

    Google Scholar 

  2. A. Bobbio, M. Telek. Markov Regenerative SPN with Non-Overlapping Activity Cycles. Proc. IEEE Int. Performance and Dependability Symp., Erlangen, Germany, pp. 124–133, 1995.

    Google Scholar 

  3. G. Chiola. GreatSPN 1.5 Software Architecture. Proc. 5th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, pp. 117–132, 1991.

    Google Scholar 

  4. H. Choi, V. G. Kulkarni, K. S. Trivedi. Transient Analysis of Deterministic and Stochastic Petri Nets. Proc. 14th Int. Conf. on Application and Theory of Petri Nets, Chicago, IL, USA, pp. 166–185, 1993.

    Google Scholar 

  5. B. L. Fox, P. W. Glynn. Computing Poisson Probabilities. Comm. of the ACM, 31 (1988) 440–445.

    Article  Google Scholar 

  6. G. Ciardo, J. Muppala, K. S. Trivedi. SPNP: Stochastic Petri Net Package. Proc. 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, Japan, pp. 142–151, 1989.

    Google Scholar 

  7. D.R. Cox. The Analysis of Non-Markov Stochastic Processes by the Inclusion of Supplementary Variables. Proc. Camb. Phil. Soc. (Math. and Phys. Sciences), 51 (1955) 433–441.

    Google Scholar 

  8. R. German. New Results for the Analysis of Deterministic and Stochastic Petri Nets. Proc. IEEE Int. Performance and Dependability Symp., Erlangen, Germany, pp. 114–123, 1995.

    Google Scholar 

  9. R. German, C. Kelling, A. Zimmermann, G. Hommel. TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets. Perf. Eval. (to appear).

    Google Scholar 

  10. R. German, C. Lindemann. Analysis of Stochastic Petri Nets by the Method of Supplementary Variables. Perf. Eval., 20 (1994) 317–335.

    Article  Google Scholar 

  11. R. German, D. Logothetis, K. S. Trivedi. Transient Analysis of Markov Regenerative Stochastic Petri Nets: A Comparison of Approaches. Proc. 6th Int. Workshop on Petri Nets and Performance Models, Durham, NC, USA, 1995 (to appear).

    Google Scholar 

  12. D. Gross, D.R. Miller. The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes. Operations Research, 32 (1984) 345–361.

    Google Scholar 

  13. C. Lindemann. DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets. Perf. Eval., (to appear).

    Google Scholar 

  14. D. Logothetis, K. S. Trivedi. Transient Analysis of the Leaky Bucket Rate Control Scheme Under Poisson and ON-OFF Sources. Proc. of INFOCOM '94, Toronto, Canada, 1994.

    Google Scholar 

  15. D. Logothetis, K.S. Trivedi. Time-Dependent Behavior of Redundant Systems with Deterministic Repair. 2nd Int. Workshop Numerical Solution of Markov Chains, Raleigh, NC, USA, 1995.

    Google Scholar 

  16. D. Logothetis, K. S. Trivedi, A. Puliafito. Markov Regenerative Models. Proc. IEEE Int. Computer Performance and Dependability Symp., Erlangen, Germany, pp. 134–142, 1995.

    Google Scholar 

  17. M. Lu, D. Zhang, T. Murata. Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets. IEEE Trans. on Comp., 39 (1990) 597–604.

    Article  Google Scholar 

  18. W. H. Sanders, W. D. Obal II, M. A. Qureshi, F. K. Widjanarko. The UltraSAN Modeling Environment. Perf. Eval., (to appear).

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Reinhard German & Jörg Mitzlaff

Authors
  1. Reinhard German
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jörg Mitzlaff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Heinz Beilner Falko Bause

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

German, R., Mitzlaff, J. (1995). Transient analysis of deterministic and stochastic Petri nets with TimeNET. In: Beilner, H., Bause, F. (eds) Quantitative Evaluation of Computing and Communication Systems. TOOLS 1995. Lecture Notes in Computer Science, vol 977. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024317

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-44789-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics