Gerard Florin Stéphane Natkin Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets. 99-107 http://www.computer.org/tse/ts1991/e0099abs.htm 1991 17 IEEE Trans. Software Eng. 2 db/journals/tse/tse17.html#FlorinN91