Issue No. 02 - February (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.67592
<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>
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
W. Henderson and P. Taylor, "Embedded Processes in Stochastic Petri Nets," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 108-116, 1991.