In: 18th International Symposium on Fault-Tolerant Computing Digest of Papers FTCS-18, Tokyo, pages 90-95. Washington: IEEE Comput. Soc. Press, 1988.
Abstract: The algorithm presented is designed to compute large degradable system reliability. These systems are modeled using nonrepetitive stochastic Petri nets. The reliability parameters are computed during the generation of the reachability graph.