Computational algorithms for product form solution stochastic Petri nets | IEEE Conference Publication | IEEE Xplore