Introduction to Stochastic Petri Nets

  title={Introduction to Stochastic Petri Nets},
  author={Gianfranco Balbo},
  booktitle={European Educational Forum: School on Formal Methods and Performance Analysis},
Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the probabilistic models that underly the dynamic behaviours of these nets rely on a set of results that derive from the theory of untimed Petri nets. The paper introduces the basic motivations for modelling DEDS and briefly overviews the basic results of net… CONTINUE READING
Highly Influential
This paper has highly influenced 22 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 136 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 85 extracted citations

137 Citations

Citations per Year
Semantic Scholar estimates that this publication has 137 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 69 references

Introduction to the Numerical Solution of Markov Chains

  • W. J. Stewart
  • Princeton University Press, Princeton, New Jersey…
  • 1994
Highly Influential
4 Excerpts

Analysis of large Petri net models

  • G. Ciardo
  • PhD thesis, Department of Computer Science, Duke…
  • 1989
Highly Influential
4 Excerpts

A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems

  • M. Ajmone Marsan, G. Balbo, G. Conte
  • ACM Transactions on Computer Systems, 2(1), May
  • 1984
Highly Influential
4 Excerpts

Petri Net Theory and the Modeling of Systems

  • J. L. Peterson
  • Prentice-Hall, Englewood Cliffs, NJ,
  • 1981
Highly Influential
4 Excerpts

Petri nets: properties, analysis, and applications

  • T. Murata
  • Proceedings of the IEEE, 77(4):541–580, April
  • 1989
Highly Influential
3 Excerpts

and editors

  • G. Balbo, M. Silva
  • Performance Models for Discrete Event Systems…
  • 1998
2 Excerpts

and M

  • G. Chiola, G. Franceschinis, R. Gaeta
  • Ribaudo. GreatSPN1.7: GRaphical Editor and…
  • 1995
1 Excerpt

Similar Papers

Loading similar papers…