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]
@inproceedings{Ribaudo95-0, title = {Stochastic Petri net semantics for stochastic process algebras}, author = {Marina Ribaudo}, year = {1995}, doi = {10.1109/PNPM.1995.524325}, url = {http://dx.doi.org/10.1109/PNPM.1995.524325}, researchr = {https://researchr.org/publication/Ribaudo95-0}, cites = {0}, citedby = {0}, pages = {148-157}, booktitle = {Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995}, publisher = {IEEE}, isbn = {0-8186-7210-2}, }