TitleSPNP: The Stochastic Petri Net Package (Version 3.1). Publication TypeConference Paper Year of Publication1993 AuthorsG Ciardo, and KS Trivedi Conference NameMascots Date Published01/1993