Frederick T. Sheldon, Stefan Greiner, Matthias Benzinger. Specification, Safety and Reliability Analysis Using Stochastic Petri Net Models. In Proceedings of the 10th International Workshop on Software Specification and Design, Shelter Island, San Diego, California, USA, November 5-7, 2000. pages 123-132, IEEE Computer Society, 2000. [doi]
Abstract is missing.