Marina Ribaudo. Stochastic Petri net semantics for stochastic process algebras. In Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995. pages 148-157, IEEE, 1995. [doi]
Abstract is missing.