In: IEEE Transactions on Software Engineering, Vol. 17, No. 2, pages 108-116. February 1991.
Abstract: 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 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.
Keywords: embedded discrete time process(es) (in) stochastic net(s); closed-form equilibrium distribution; coloured net; net reduction; skeleton net; marginal distribution; aggregation procedure.