In: Lecture Notes in Computer Science, Vol. 1469: Computer Performance Evaluation, pages 369-373. Springer-Verlag, 1998.
Abstract: This paper describes the design and application of the hierarchical stochastic reward net solver package (HSP) to compute system reliability, availability, maintainability, and other system performance metrics. This enables us to model systems with hierarchy and/or modular redundancy efficiently.
Keywords: HSP package, hierarchical stochastic Petri nets, reward nets, software tools.