@inproceedings {IPMoHaSeSi01, title = {Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets}, year = {2001}, publisher = {Springer-Verlag}, organization = {Springer-Verlag}, author = {P. Moreaux and S. Haddad and M. Sereno and M. Silva}, editor = {J.M. Colon and M. Koutny} }