TitleSPNP - THE STOCHASTIC PETRI NET PACKAGE Publication TypeConference Paper Year of Publication1991 AuthorsG Ciardo, J Muppala, and KS Trivedi Conference NameNUMERICAL SOLUTION OF MARKOV CHAINS Date Published01/1991