Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process | IEEE Conference Publication | IEEE Xplore