Analysis of stochastic Petri nets with signals

Andrea Marin, Simonetta Balsamo, Peter G. Harrison. Analysis of stochastic Petri nets with signals. Perform. Eval., 69(11):551-572, 2012. [doi]

@article{MarinBH12,
  title = {Analysis of stochastic Petri nets with signals},
  author = {Andrea Marin and Simonetta Balsamo and Peter G. Harrison},
  year = {2012},
  doi = {10.1016/j.peva.2012.06.003},
  url = {http://dx.doi.org/10.1016/j.peva.2012.06.003},
  researchr = {https://researchr.org/publication/MarinBH12},
  cites = {0},
  citedby = {0},
  journal = {Perform. Eval.},
  volume = {69},
  number = {11},
  pages = {551-572},
}