Advertisement

Improving the efficiency of the analysis of DSPN models

  • M. Ajmone Marsan
  • G. Chiola
  • A. Fumagalli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 424)

Abstract

The applicability of DSPN models has been limited by the computational complexity of the algorithm for the evaluation of the steady state probability distribution over reachable markings, so that it was often necessary to resort to simulation rather than analysis. Two techniques for the improvement of the efficiency of the analysis of DSPN are outlined in this paper, using a previously published model of a high speed local area network as an example of the application of the proposed techniques, and as a benchmark for the assessment of their efficiency.

Key words

Stochastic Petri nets Performance evaluation Markov chains 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7 References

  1. [1]
    Ajmone Marsan, M. and G. Chiola, On Petri Nets with Deterministic and Exponential Transition Firing Times, in Proc. 7th European Workshop on Application and Theory of Petri Nets, Oxford, England, June 1986.Google Scholar
  2. [2]
    Ajmone Marsan, M. and G. Chiola, On Petri Nets with Deterministic and Exponentially Distributed Firing Times, in Advances on Petri Nets '87, ed. G. Rozenberg, LNCS 266, pp. 132–145, Springer Verlag, 1987.Google Scholar
  3. [3]
    Molloy, M.K., On the Integration of Delay and Throughout Measures in Distributed Processing Models, Ph.D. Thesis, UCLA, Los Angeles, CA, 1981.Google Scholar
  4. [4]
    Molloy, M.K., Performance Analysis Using Stochastic Petri Nets, IEEE Transaction on Computers, vol. C-31, no. 9, pp. 913–917, September 1982.Google Scholar
  5. [5]
    Natkin, S., Les Reseaux de Petri Stochastiques et Leur Application a l'Evaluation des Systemes Informatiques, These de Docteur Ingegneur, CNAM, Paris, France, 1980.Google Scholar
  6. [6]
    Florin, G. and S. Natkin, Les Reseaux de Petri Stochastiques, TSI, vol. 4, no. 1, pp. 143–160, February 1985.Google Scholar
  7. [7]
    Ajmone Marsan, M., G. Balbo, and G. Conte, A Class of Generalized Stochastic Petri Nets for the Performance Analysis of Multiprocessor Systems, ACM Transactions on Computer Systems, vol. 2, no. 1, pp. 93–122, May 1984.Google Scholar
  8. [8]
    Ajmone Marsan, M., G. Balbo, G. Chiola, and G. Conte, Generalized Stochastic Petri Net Revisited: Random Switches and Priorities, in Proc. Int. Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987.Google Scholar
  9. [9]
    Dugan, J.B., K.S. Trivedi, R.M. Geist, and V.F. Nicola, Extended Stochastic Petri Nets: Applications and Analysis, in Proc. PERFORMANCE '84, Paris, France, December 1984.Google Scholar
  10. [10]
    Ajmone Marsan, M., G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, On Petri Nets with Stochastic Timing, in Proc. International Workshop on Timed Petri Nets, Torino, Italy, July 1985.Google Scholar
  11. [11]
    Ajmone Marsan, M., G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani, The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets, IEEE Transactions on Software Engineering, vol. SE-15, no. 7, July 1989.Google Scholar
  12. [12]
    Ajmone Marsan, M., and V. Signore, Timed Petri Net Performance Models of Fiber Optics LAN Architectures, in Proc. Int. Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987.Google Scholar
  13. [13]
    Tobagi, F. A., F. Borgonovo, and L. Fratta, Expressnet: a High Performance Integrated Service Local Area Network, IEEE Journal on Selected Areas in Communications, vol. SAC-1, no. 5, pp. 898–913, November 1983.Google Scholar
  14. [14]
    Fumagalli, A., Reti di Petri Temporizzate per l' Analisi di Protocolli di Comunicazione Tesi di Laurea, Politecnico di Torino, 1987 (in Italian).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • M. Ajmone Marsan
    • 1
  • G. Chiola
    • 2
  • A. Fumagalli
    • 3
  1. 1.Dipartimento di Scienze della InformazioneUniversità di MilanoItaly
  2. 2.Dipartimento di InformaticaUniversità di TorinoItaly
  3. 3.Dipartimento di ElettronicaPolitecnico di TorinoItaly

Personalised recommendations