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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
7 References
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.
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.
Molloy, M.K., On the Integration of Delay and Throughout Measures in Distributed Processing Models, Ph.D. Thesis, UCLA, Los Angeles, CA, 1981.
Molloy, M.K., Performance Analysis Using Stochastic Petri Nets, IEEE Transaction on Computers, vol. C-31, no. 9, pp. 913–917, September 1982.
Natkin, S., Les Reseaux de Petri Stochastiques et Leur Application a l'Evaluation des Systemes Informatiques, These de Docteur Ingegneur, CNAM, Paris, France, 1980.
Florin, G. and S. Natkin, Les Reseaux de Petri Stochastiques, TSI, vol. 4, no. 1, pp. 143–160, February 1985.
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.
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.
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.
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.
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.
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.
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.
Fumagalli, A., Reti di Petri Temporizzate per l' Analisi di Protocolli di Comunicazione Tesi di Laurea, Politecnico di Torino, 1987 (in Italian).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Marsan, M.A., Chiola, G., Fumagalli, A. (1990). Improving the efficiency of the analysis of DSPN models. In: Rozenberg, G. (eds) Advances in Petri Nets 1989. APN 1988. Lecture Notes in Computer Science, vol 424. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52494-0_24
Download citation
DOI: https://doi.org/10.1007/3-540-52494-0_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52494-6
Online ISBN: 978-3-540-46998-8
eBook Packages: Springer Book Archive