TitleSPNP - THE STOCHASTIC PETRI-NET PACKAGE (VERSION 3.1) Publication TypeConference Paper Year of Publication1993 AuthorsG Ciardo, and KS Trivedi Conference NameMASCOTS '93 Date Published01/1993