On non-ergodic infinite-state stochastic Petri nets | IEEE Conference Publication | IEEE Xplore