Ergodicity and throughput bounds of Petri net with unique consistent firing count vector (1991)

by J Campos, G Chiola, M Silva
Venue:IEEE Trans. on Software Engineering