Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi. SPNP: Stochastic Petri Nets. Version 6.0. In Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith, editors, Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings. Volume 1786 of Lecture Notes in Computer Science, pages 354-357, Springer, 2000. [doi]
Abstract is missing.