Stochastic Petri net semantics for stochastic process algebras

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},
}