Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis. First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J., 54(5):653-673, 2011. [doi]
@article{BalboBPF11-0, title = {First Passage Time Computation in Tagged GSPNs with Queue Places}, author = {Gianfranco Balbo and Marco Beccuti and Massimiliano De Pierro and Giuliana Franceschinis}, year = {2011}, doi = {10.1093/comjnl/bxq056}, url = {http://dx.doi.org/10.1093/comjnl/bxq056}, tags = {tagging}, researchr = {https://researchr.org/publication/BalboBPF11-0}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {54}, number = {5}, pages = {653-673}, }