Subscribe
Issue No.02 - February (1991 vol.17)
pp: 108-116
ABSTRACT
<p>Embedded discrete time processes are used to study a class of SPNs (stochastic Petri nets) which have a closed-form equilibrium distribution. These SPNs have probabilistic output bags, colored tokens, and alternating periods of arbitrarily distributing enabling and firing times (periods of time between transitions becoming enabled and absorption of tokens and between transitions absorbing tokens and depositing them in output places, respectively). In addition, an aggregation procedure is proposed which, in certain nets, not only reduces a complex SPN to a much simpler skeleton SPN but also obtains results for the skeleton SPN with are exact marginal distributions for the original SPN.</p>
INDEX TERMS
embedded discrete time processes; stochastic Petri nets; closed-form equilibrium distribution; probabilistic output bags; colored tokens; arbitrarily distributing enabling; firing times; aggregation procedure; performance evaluation; Petri nets; stochastic processes
CITATION
W. Henderson, P.G. Taylor, "Embedded Processes in Stochastic Petri Nets", IEEE Transactions on Software Engineering, vol.17, no. 2, pp. 108-116, February 1991, doi:10.1109/32.67592