Günter Hommel (Technical University Berlin):
Non-Markovian Stochastic Petri Nets for the Quantitative Analysis of Communication-Based Systems
Stochastic Petri nets (SPNs) have successfully been used for
the model-based performance and dependability evaluation of
communication based systems. Most commonly only exponentially
distributed firing times of transitions are considered so that the
underlying stochastic process is Markovian. In many applications
however other distributions have to be considered leading to a
stochastic process that is no longer Markovian.
The problem of evaluating non-Markovian models has been studied in our
institute since almost 10 years. Results of this research and still
open problems will be considered in the presentation.
Colloquium home page
