International Workshop on Timed Petri Nets
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Asynchronous Composition of High Level Petri Nets: A Quantitative Approach
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
On Petri nets with deterministic and exponentially distributed firing times
Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Numerical analysis of stochastic marked graph nets
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Numerical analysis of superposed GSPNs
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Structured Solution of Stochastic DSSP Systems
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Markov regenerative SPN with non-overlapping activity cycles
IPDS '95 Proceedings of the International Computer Performance and Dependability Symposium on Computer Performance and Dependability Symposium
On the integration of delay and throughput measures in distributed processing models
On the integration of delay and throughput measures in distributed processing models
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
A new approach to the evaluation of non markovian stochastic petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
| Hi-index | 0.00 |
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.