Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi. The Design of a Unified Package for the Solution of Stochastic Petri Net Models. In International Workshop on Timed Petri Nets, Torino, Italy, July 1-3, 1985. pages 6-13, IEEE Computer Society, 1985.
Abstract is missing.