The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
A minimal representation of Markov arrival processes and a moments matching method
Performance Evaluation
Queueing Theory: A Linear Algebraic Approach
Queueing Theory: A Linear Algebraic Approach
Rational Automata Networks: A Non-Markovian Modeling Approach
INFORMS Journal on Computing
Numerical analysis of rational processes beyond Markov chains
Performance Evaluation
Approximate aggregation of Markovian models using alternating least squares
Performance Evaluation
Hi-index | 0.00 |
There are widely used analysis techniques for stochastic Petri nets with phase type (PH) distributed firing times. These techniques are based on the generation of an expanded Markov chain that describes the behavior of the marking process and additionally the phase processes of the involved PH distributions. In this paper we investigate the use of a similar approach when the firing time distribution does not allow a stochastic interpretation. We show that the same expansion based technique is applicable in the case of matrix exponentially (ME) distributed firing times, but in this case the system does not allow any stochastic interpretation and the applied solution methods should not be restricted to non-negative numbers. Nevertheless, by defining an equivalence between PH and ME distributions it can be shown that marking probabilities remain the same when PH distributions are substituted by equivalent ME distributions.