
Structured Characterization of the Markov Chain of Phase-Type SPN
Donatelli, Susanna; Haddad, Serge; Moreaux, Patrice (1998), Structured Characterization of the Markov Chain of Phase-Type SPN, in Serra, Bartomeu; Savino, Nunzio N.; Puigjaner, Ramon, Computer Performance Evaluation Modelling Techniques and Tools 10th International Conference, Tools’98 Palma de Mallorca, Spain September 14–18, 1998 Proceedings, Springer : Berlin, p. 243-254. http://dx.doi.org/10.1007/3-540-68061-6_20
Type
Communication / ConférenceDate
1998Conference title
10th International Conference for Computer Performance Evaluation (TOOLS 1998)Conference date
1998-09Conference city
Palma de MajorqueConference country
EspagneBook title
Computer Performance Evaluation Modelling Techniques and Tools 10th International Conference, Tools’98 Palma de Mallorca, Spain September 14–18, 1998 ProceedingsBook author
Serra, Bartomeu; Savino, Nunzio N.; Puigjaner, RamonPublisher
Springer
Series title
Lecture Notes in Computer ScienceSeries number
1469Published in
Berlin
ISBN
3-540-64949-2
Pages
243-254
Publication identifier
Metadata
Show full item recordAbstract (EN)
This paper presents a characterization of the Markovian state space of a Stochastic Petri Nets with phase-type distribution transitions as a union of Cartesian products of a set of “components” of the net. The method uses an abstract view of the net based on the vectors of enabling degrees of phase-type transitions, as well as on the sets of “interrupted clients”. Following the decomposition used for the state space characterization, a tensor algebra expression for the infinitesimal generator (actually for its rate matrix) is given, that allows the steady state probability to be computed directly from a set of matrices of the size of the components, without the need of storing the whole infinitesimal generator.Subjects / Keywords
Markov chain; Stochastic Petri NetsRelated items
Showing items related by title and author.
-
Haddad, Serge; Moreaux, Patrice; Chiola, Giovanni (1997) Communication / Conférence
-
Haddad, Serge; Moreaux, Patrice; Chiola, Giovanni (1998) Article accepté pour publication ou publié
-
Donatelli, Susanna; Haddad, Serge; Moreaux, Patrice (1999) Communication / Conférence
-
Haddad, Serge; Moreaux, Patrice; Sereno, Matteo; Silva, Manuel (2001) Communication / Conférence
-
Donatelli, Susanna; Haddad, Serge; Sproston, Jeremy (2007) Communication / Conférence