A Characterization of the Stochastic Process Underlying a Stochastic Petri Net
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
A method of analysis of random processes of change of reachable labels in nonexponential time stochastic Petri networks with restricted prehistory is developed on the basis of representation of these processes as a set of parallel independent subprocesses, each of which is a semi-Markov process. The aim of analysis is the computation of the limiting probability distribution of reachable labels. An example is given to illustrate the method.