On non-ergodic infinite-state stochastic Petri nets
Falko Bause · 2004
This paper presents a condition to detect infinite-state GSPNs, for which ergodicity is sensitive to parameter variations. The condition is based on the incidence matrix of the net and can be efficiently verified.