Abstract
We study the introduction of transitions with Phase-type distribution firing time in (bounded) generalized stochastic Petri nets. Such transitions produce large increases of both space and time complexity for the computation of the steady state probabilities of the underlying Markov chain. We propose a new approach to limit this phenomenon while keeping full stochastic semantics of previous works. The method is based on a structural decomposition of the net. We establish conditions under which this decomposition leads to a tensor expression of the generator of the chain. The tensor expression is used to solve the chain with an iterative method.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Ajmone Marsan, 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, 15(7):832–846, July 1989.
M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. On Petri nets with stochastic timing. In Proc. of the International Workshop on Timed Petri Nets, pages 80–87, Torino, Italy, July 1–3 1985. IEEE Computer Society Press.
M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Generalized stochastic Petri nets revisited: random switches and priorities. In Proc. of the International Workshop on Petri Nets and Performance Models, pages 44–53, Madison, Wisconsin, USA, August 24–26 1987. IEEE Computer Society Press.
M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized of stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on computer systems, 2(2):93–122, May 1984.
M. Ajmone Marsan and G. Chiola. On Petri nets with deterministic and exponentially distributed firing times. In G. Rozenberg, editor, Advances in Petri Nets 1987, number 266 in LNCS, pages 132–145. Springer-Verlag, 1987.
P. Buchholz. Aggregation and reduction techniques for hierarchical GCSPN. In Proc. of the 5th International Workshop on Petri Nets and Performance Models, pages 216–225, Toulouse, France, October 19–22 1993. IEEE Computer Society Press.
P. Chen, S. C. Bruell, and G. Balbo. Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets. In Proc. of the third International Workshop on Petri Nets and Performance Models, pages 187–197, Kyoto, Japan, December 11–13 1989. IEEE Computer Society Press.
G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. Great SPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Performance Evaluation, 24(1&2):47–68, 1995.
G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. In Proc. of the 5th International Workshop on Petri Nets and Performance Models, pages 170–179, Toulouse, France, October 19–22 1993. IEEE Computer Society Press.
E. Cinlar. Introduction to stochastic processes. Prentice-Hall, Englewood Cliffs, NJ, USA, 1975.
D. R. Cox. A use of complex probabilities in the theory of stochastic processes. In Proc. Cambridge Philosophical Society, pages 313–319, 1955.
A. Cumani. ESP-a package for the evaluation of stochastic Petri nets with phasetype distributed transition times. In Proc. of the International Workshop on Timed Petri Nets, pages 144–151, Torino, Italy, July 1–3 1985. IEEE Computer Society Press.
S. Donatelli. Superposed generalized stochastic Petri nets: definition and efficient solution. In Robert Valette, editor, Proc. of the 15th International Conference on Application and Theory of Petri Nets, Number 815 in LNCS, pages 258–277, Zaragoza, Spain, June 20–24 1994. Springer-Verlag.
S. Haddad and P. Moreaux. Asynchronous composition of high level Petri nets: a quantitative approach. In Proc. of the 17th International Conference on Application and Theory of Petri Nets, Number 1091 in LNCS, pages 193–211, Osaka, Japan, June 24–28 1996. Springer-Verlag.
P. Kemper. Closing the gap between classical and tensor based iteration techniques. In W. J. Stewart, editor, Proc. of the Second International Workshop on Numerical Solution of Markov Chains, Raleigh, NC, USA, January 16–18 1995. Kluwer Academic Press, 1995.
M. K. Molloy. On the integration of delay and throughput in distributed processing models. PhD dissertation, University of California, Los Angeles, CA, USA, September 1981.
P. Moreaux. Structuration des chaínes de Markov des réseaux de Petri stochastiques. Décomposition tensorielle et agrégation. Thése, Université Paris Dauphine, Paris, France, 11 décembre 1996.
M. F. Neuts. Matrix-geometric solutions in stochastic models — an algorithmic approach. The John Hopkins University Press, London, 1981.
B. Plateau. On the stochastic structure of parallelism and synchronization models for distributed algorithms. In Proc. of the 1985 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, pages 147–154, Austin, Texas, USA, August 1985. ACM.
B. Plateau and J.M. Fourneau. A methodology for solving Markov models of parallel systems. Journal of parallel and distributed computing, 12:370–387, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Haddad, S., Moreaux, P., Chiola, G. (1997). Efficient handling of Phase-type distributions in generalized stochastic Petri nets. In: Azéma, P., Balbo, G. (eds) Application and Theory of Petri Nets 1997. ICATPN 1997. Lecture Notes in Computer Science, vol 1248. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63139-9_36
Download citation
DOI: https://doi.org/10.1007/3-540-63139-9_36
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63139-2
Online ISBN: 978-3-540-69187-7
eBook Packages: Springer Book Archive