Efficient handling of phase-type distributions in generalized stochastic petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1248, Issue , 1997, Pages 175-194

  Haddad, Serge ^a   Moreaux, Patrice ^a   Chiola, Giovanni ^b  

^a UNIVERSITÉ PARIS DAUPHINE   (France)

^b UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CHAINS; ITERATIVE METHODS; MARKOV PROCESSES; PETRI NETS; SEMANTICS; TENSORS;

FIRING TIME; GENERALIZED STOCHASTIC PETRI NETS; NEW APPROACHES; PHASE TYPE DISTRIBUTIONS; SPACE AND TIME COMPLEXITY; STEADY STATE PROBABILITIES; STOCHASTIC SEMANTICS; STRUCTURAL DECOMPOSITION;

STOCHASTIC SYSTEMS;

EID: 84958951670     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63139-9_36     Document Type: Conference Paper

References (20)

1. M. Ajmone Marsan, G. Balbo, A. Bobbio, 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.
2. 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.
3. 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.
4. 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.
5. 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.
6. 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
7. P. Chen, S. C. Bruell, and G. Balbo. Alternative methods for incorporating nonexponential 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.
8. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Performance Evaluation, 24(1&2):47-68, 1995.
9. 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.
10. E. Çinlar, Introduction to stochastic processes. Prentice-Hall, Englewood Cliffs, NJ, USA, 1975.
11. D. R. Cox. A use of complex probabilities in the theory of stochastic processes. In Proc. Cambridge Philosophical Society, pages 313-319, 1955.
12. 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.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. M. F. Neuts. Matrix-geometric solutions in stochastic models - an algorithmic approach. The John Hopkins University Press, London, 1981.
19. 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.
20. 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.