Author: Falko Bause
ABSTRACT
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.
published in:
Proceedings of the 10th International Workshop on Petri Nets and Performance Models (PNPM 2003), IEEE Society Press, ISBN 0-7695-1976-8, pp. 84-92.