Structured Characterization of the Markov Chain of Phase-Type SPN

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-...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Donatelli, Susanna, Haddad, Serge, Moreaux, Patrice
Format: Buchkapitel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:0302-9743
1611-3349
DOI:10.1007/3-540-68061-6_20