Title :
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets
Author :
Horváth, András ; Vicario, Enrico
Author_Institution :
Dipt. di Inf., Univ. di Torino, Torino, Italy
Abstract :
The method of stochastic state classes provides a new approach for the analysis of non-Markovian stochastic Petri nets, which relies on the stochastic expansion of the graph of non-deterministic state classes based on difference bounds matrix (DBM) which is usually employed in qualitative verification. In so doing, the method is able to manage multiple concurrent non-exponential (GEN) transitions and largely extends the class of models that are amenable to quantitative evaluation. However, its application requires that every cycle in the graph of non-deterministic state classes visits at least a regeneration point where all GEN transitions are newly enabled. In particular, this rules out models whose non-deterministic class graph includes cycles within a continuous time Markov chain (CTMC) subordinated to the activity period of one or more GEN transitions.In this paper, we propose an extension that overcomes this limitation by aggregating together classes that are reached through firings that do not change the enabling status of GEN transitions.This enlarges the class of models that can be analysed through the method of stochastic state classes and makes it become a proper extension of the class of models that satisfies the so called enabling restriction.
Keywords :
Markov processes; Petri nets; continuous time systems; graph theory; stochastic processes; aggregated stochastic state classes; continuous time Markov chain; difference bounds matrix; nonMarkovian stochastic Petri nets; qualitative verification; quantitative evaluation; stochastic expansion; Integrodifferential equations; Petri nets; Probability distribution; Protocols; Sampling methods; State-space methods; Steady-state; Stochastic processes; Stochastic systems; Timing; non-Markovian stochastic Petri nets; steady state analysis; stochastic state classes; stochastic time Petri nets;
Conference_Titel :
Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
Conference_Location :
Budapest
Print_ISBN :
978-0-7695-3808-2
DOI :
10.1109/QEST.2009.33