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