
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets
Haddad, Serge; Moreaux, Patrice; Chiola, Giovanni (1997), Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets, dans Azema, Pierre; Balbo, Gianfranco, Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, Proceedings, Springer : Berlin, p. 175-194. http://dx.doi.org/10.1007/3-540-63139-9_36
Voir/Ouvrir
Type
Communication / ConférenceDate
1997Titre du colloque
ICATPN'97 Eighteenth International Conference on Application and Theory of Petri NetsDate du colloque
1997-06Ville du colloque
ToulousePays du colloque
FranceTitre de l'ouvrage
Application and Theory of Petri Nets 1997 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997, ProceedingsAuteurs de l’ouvrage
Azema, Pierre; Balbo, GianfrancoÉditeur
Springer
Titre de la collection
Lecture Notes in Computer ScienceNuméro dans la collection
1248Ville d’édition
Berlin
Isbn
978-3-540-63139-2
Nombre de pages
467Pages
175-194
Identifiant publication
Métadonnées
Afficher la notice complèteRésumé (EN)
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.Mots-clés
Tensor algebra; Stochastic Petri Nets; Phase-type distributions; Coxian distributionsPublications associées
Affichage des éléments liés par titre et auteur.
-
Haddad, Serge; Moreaux, Patrice; Chiola, Giovanni (1998) Article accepté pour publication ou publié
-
Haddad, Serge; Mokdad, Lynda; Moreaux, Patrice (2006) Communication / Conférence
-
Haddad, Serge; Moreaux, Patrice; Sereno, Matteo; Silva, Manuel (2001) Communication / Conférence
-
Chiola, Giovanni; Dutheillet, Claude; Franceschinis, Giuliana; Haddad, Serge (1997) Article accepté pour publication ou publié
-
Haddad, Serge; Moreaux, Patrice (1995) Communication / Conférence