Gianfranco Balbo Steven C. Bruell Matteo Sereno Product Form Solution for Generalized Stochastic Petri Nets. 915-932 2002 28 IEEE Trans. Software Eng. 10 http://www.computer.org:80/tse/ts2002/e0915abs.htm db/journals/tse/tse28.html#BalboBS02