TitleSPNP: Stochastic Petri Nets. Version 6.0. Publication TypeConference Paper Year of Publication2000 AuthorsC Hirel, B Tuffin, and KS Trivedi Conference NameComputer Performance Evaluation / TOOLS Date Published01/2000