Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method | IEEE Conference Publication | IEEE Xplore